Take a photo of a barcode or cover
Read With Others
Book Information
446 pages • paperback • 1 edition
ISBN/UID: 9783540411963
Format: Paperback
Language: English
Publisher: Springer
Edition Pub Date: 18 Oct 2000
Description
IFM 2000, the second in a series of international conferences on Integrated F- mal Methods, was held at the 18th-century chateau of Schloss Dagstuhl, Sa- land, Germany, from the 1st to the 3rd of November 2000. The conference programme consisted...
Community Reviews
Content Warnings
446 pages • paperback
ISBN/UID: 9783540411963
Format: Paperback
Language: English
Publisher: Springer
Edition Pub Date: 18 Oct 2000
Description
IFM 2000, the second in a series of international conferences on Integrated F- mal Methods, was held at the 18th-century chateau of Schloss Dagstuhl, Sa- land, Germany, from the 1st to the 3rd of November 2000. The conference programme consisted...
Community Reviews
Content Warnings