Fme '97: Industrial Applications and Strengthened Foundations of Formal Methods
by International Symposium of Formal Methods Europe (4th 1997 Graz, Austria), C. B. Jones, Peter Lucas
1997686 pages
Springer·2 editions
Loading Description
Tags
NewBookshelves
0 readersNo users with this book on their shelves. Maybe you could be the first.
Threads
0 discussionsQuotes
0 quotesReviews
0 reviewsNo reviews yet. Add your review.
Lists
0 listsNo lists containing this book.
Purchasable Editions
1 editionsThe Amazon links are affiliate links
Fme '97: Industrial Applications and Strengthened Foundations of Formal Methods (1997)
Fme '97: Industrial Applications and Strengthened Foundations of Formal Methods (1997)
Springer
Springer
Paperback
ISBN 10: 3540635335
ISBN 13: 9783540635338