Take a photo of a barcode or cover
634 pages • missing pub info (view editions)
ISBN/UID: 9783540417910
Format: Paperback
Language: English
Publisher: Springer
Edition Pub Date: 28 February 2001
Description
FME 2001 is the tenth in a series of meetings organized every eighteen months by Formal Methods Europe (FME), an independent association whose aim is to stimulate the use of, and research on, formal methods for software development. It follows fou...
Community Reviews
Content Warnings
634 pages • missing pub info (view editions)
ISBN/UID: 9783540417910
Format: Paperback
Language: English
Publisher: Springer
Edition Pub Date: 28 February 2001
Description
FME 2001 is the tenth in a series of meetings organized every eighteen months by Formal Methods Europe (FME), an independent association whose aim is to stimulate the use of, and research on, formal methods for software development. It follows fou...
Community Reviews
Content Warnings