Before you leave...
Take 20% off your first order
20% off
Enter the code below at checkout to get 20% off your first order
FM 2011: Formal Methods: 17th International Symposium on Formal Methods, Limerick, Ireland, June 20-24, 2011, Proceedings (Paperback) (ISBN-13: 9783642214363)
Vendor:
Michael Butler
Product type:
Books
- $54.99
$54.99- $54.99
- Unit price
- per
Subtotal:
$54.99
Description
xThis book constitutes the refereed proceedings of the 17th International Symposium on Formal Methods, FM 2011, held in Limerick, Ireland, in June 2011.
The 29 revised full papers presented together with 3 invited talks were carefully reviewed and selected from numerous submissions. The papers are organized in topical sections on cyber-physical systems, runtime analysis, case studies/tools, experience, program compilation and transformation, security, progress algebra, education, concurrency, dynamic structures, and model checking.
Author: Michael Butler
ISBN-10: 3642214363
ISBN-13: 9783642214363
Publisher: Springer
Language: English
Published: 06/16/2011
Pages: 450
Format: Paperback
Weight: 1.55lbs
Size: 9.30h x 6.10w x 1.00d
The 29 revised full papers presented together with 3 invited talks were carefully reviewed and selected from numerous submissions. The papers are organized in topical sections on cyber-physical systems, runtime analysis, case studies/tools, experience, program compilation and transformation, security, progress algebra, education, concurrency, dynamic structures, and model checking.
Author: Michael Butler
ISBN-10: 3642214363
ISBN-13: 9783642214363
Publisher: Springer
Language: English
Published: 06/16/2011
Pages: 450
Format: Paperback
Weight: 1.55lbs
Size: 9.30h x 6.10w x 1.00d
Recently Viewed Products
- Choosing a selection results in a full page refresh.