|
Books > Computing & IT > Computer programming > Programming languages
|
Buy Now
NASA Formal Methods - 5th International Symposium, NFM 2013, Moffett Field, CA, USA, May 14-16, 2013. Proceedings (Paperback, 2013 ed.)
Loot Price: R1,532
Discovery Miles 15 320
|
|
|
NASA Formal Methods - 5th International Symposium, NFM 2013, Moffett Field, CA, USA, May 14-16, 2013. Proceedings (Paperback, 2013 ed.)
Series: Programming and Software Engineering, 7871
Expected to ship within 10 - 15 working days
|
This book constitutes the refereed proceedings of the 5th
International Symposium on NASA Formal Methods, NFM 2013, held in
Moffett Field, CA, USA, in May 2013. The 28 revised regular papers
presented together with 9 short papers talks were carefully
reviewed and selected from 99 submissions. The topics are organized
in topical sections on model checking; applications of formal
methods; complex systems; static analysis; symbolic execution;
requirements and specifications; probabilistic and statistical
analysis; and theorem proving.
General
Is the information for this product incomplete, wrong or inappropriate?
Let us know about it.
Does this product have an incorrect or missing image?
Send us a new image.
Is this product missing categories?
Add more categories.
Review This Product
No reviews yet - be the first to create one!
|
|
Email address subscribed successfully.
A activation email has been sent to you.
Please click the link in that email to activate your subscription.
Welcome to Loot.co.za!
Sign in / Register |Wishlists & Gift Vouchers |Help | Advanced search
