Take a photo of a barcode or cover
Read With Others
Book Information
548 pages • paperback • 1 edition
ISBN/UID: 9783540213772
Format: Paperback
Language: English
Publisher: Springer
Edition Pub Date: 24 Mar 2004
Description
The fourth conference in the series of international meetings on Integrated F- mal Methods, IFM, was held in Canterbury, UK, 4-7 April 2004. The conference was organized by the Computing Laboratory at the University of Kent, whose main campus is j...
Community Reviews
Content Warnings
548 pages • paperback
ISBN/UID: 9783540213772
Format: Paperback
Language: English
Publisher: Springer
Edition Pub Date: 24 Mar 2004
Description
The fourth conference in the series of international meetings on Integrated F- mal Methods, IFM, was held in Canterbury, UK, 4-7 April 2004. The conference was organized by the Computing Laboratory at the University of Kent, whose main campus is j...
Community Reviews
Content Warnings