Take a photo of a barcode or cover
Read With Others
Book Information
339 pages • paperback • 1 edition
ISBN/UID: 9783642019173
Format: Paperback
Language: English
Publisher: Springer
Edition Pub Date: 12 May 2009
Description
This volume presents the set of papers accompanying the lectures of the 9th International School on Formal Methods for the Design of Computer, Com- nication and Software Systems (SFM). Thisseriesofschoolsaddressestheuseofformalmethodsincomputersci...
Community Reviews
Content Warnings
339 pages • paperback
ISBN/UID: 9783642019173
Format: Paperback
Language: English
Publisher: Springer
Edition Pub Date: 12 May 2009
Description
This volume presents the set of papers accompanying the lectures of the 9th International School on Formal Methods for the Design of Computer, Com- nication and Software Systems (SFM). Thisseriesofschoolsaddressestheuseofformalmethodsincomputersci...
Community Reviews
Content Warnings