search for books and compare prices
Fme '94: Industrial Benefit of Formal Methods : Second International Symposium of Formal Methods Europe Barcelona, Spain, October 24-28, 1994 : Proc
By Tim Denvir; Maurice Naftalin; spai International Symposium of Formal Methods Europe 1994 Barcelona; Miquel Bertran
Descriptions of each edition are found in brief where available. Click details & prices to get more information on a book or to find the best prices for the title.
Sort options: binding | publication date | edition
Paperback
Book cover for 9780387585550
 
from Springer Verlag (November 1, 1994)
9780387585550 | details & prices | 6.25 × 9.50 × 1.50 in. | 2.15 lbs | List price $118.00