Skip to content
Scan a barcode
Scan
Paperback FM 2014: Formal Methods: 19th International Symposium, Singapore, May 12-16, 2014. Proceedings Book

ISBN: 3319064096

ISBN13: 9783319064093

FM 2014: Formal Methods: 19th International Symposium, Singapore, May 12-16, 2014. Proceedings

This book constitutes the refereed proceedings of the 19th International Symposium on Formal Methods, FM 2014, held in Singapore, May 2014. The 45 papers presented together with 3 invited talks were carefully reviewed and selected from 150 submissions. The focus of the papers is on the following topics: Interdisciplinary Formal Methods, Practical Applications of Formal Methods in Industrial and Research Settings, Experimental Validation of Tools and...

Recommended

Format: Paperback

Condition: New

$109.99
50 Available
Ships within 2-3 days

Customer Reviews

0 rating
Copyright © 2024 Thriftbooks.com Terms of Use | Privacy Policy | Do Not Sell/Share My Personal Information | Cookie Policy | Cookie Preferences | Accessibility Statement
ThriftBooks® and the ThriftBooks® logo are registered trademarks of Thrift Books Global, LLC
GoDaddy Verified and Secured