NASA Formal Methods Third International Symposium NFM 2011 Pasadena CA USA April 18 20 2011 Proceedings(2011 Edition)
Authors:
Mihaela Bobaru ,Klaus Havelund ,Gerard Holzmann ,Rajeev Joshi
In Stock
Shipment time
Expected shipping within 2 DaysPopular items with books
Total Price:
$0
Solution Manual Includes
Price:
$9.99
Book details
ISBN: 3642203973, 978-3642203978
Book publisher: Springer
Frequently Bought Together
Essentials Of Corporate Finance - 11th Edition
Stephen Ross
ISBN: 1265414963, 978-1265414962
$0 $193.71
Accounting For Sustainability Asia Pacific Perspectives - 1st Edition
Ki Hoon Lee
ISBN: B07GXH7VSB, 978-3319708980
$0 $46.38
Principles of Auditing and Other Assurance Services - 19th edition
Ray Whittington
ISBN: 978-0077804770, 78025613, 77804775, 978-0078025617
$0 $19.05
Maintenance And Reliability Best Practices - 3rd Edition
Ramesh Gulati
ISBN: 0831136472, 978-0831136475
$0 $74.95
Principles Of Systems Design Essays Dedicated To Thomas A Henzinger On The Occasion Of His 60th Birthday - 1st Edition
Jean-Francois Raskin
ISBN: 3031223365, 978-3031223365
$0 $7.28
Middleware 2009 ACM/IFIP/USENIX 10th International Conference Urbana IL USA November 30 December 4 2009 Proceedings - 1st Edition
Valerie Issarny
ISBN: 3642104444
$0 $54.99