Take a photo of a barcode or cover
Read With Others
Book Information
732 pages • hardcover • 1 edition
ISBN/UID: 9783540585558
Format: Hardcover
Language: English
Publisher: Springer
Edition Pub Date: 12 Oct 1994
Description
This volume presents the proceedings of the Second International Symposium of Formal Methods Europe, held in Barcelona, Spain in October 1994.Besides two invited papers and seven industrial usage reports, there are 32 full papers selected from som...
Community Reviews
Content Warnings
732 pages • hardcover
ISBN/UID: 9783540585558
Format: Hardcover
Language: English
Publisher: Springer
Edition Pub Date: 12 Oct 1994
Description
This volume presents the proceedings of the Second International Symposium of Formal Methods Europe, held in Barcelona, Spain in October 1994.Besides two invited papers and seven industrial usage reports, there are 32 full papers selected from som...
Community Reviews
Content Warnings