Books > Computing & IT > Computer programming > Programming languages
|
Buy Now
NASA Formal Methods - 7th International Symposium, NFM 2015, Pasadena, CA, USA, April 27-29, 2015, Proceedings (Paperback, 2015 ed.)
Loot Price: R1,613
Discovery Miles 16 130
|
|
NASA Formal Methods - 7th International Symposium, NFM 2015, Pasadena, CA, USA, April 27-29, 2015, Proceedings (Paperback, 2015 ed.)
Series: Programming and Software Engineering, 9058
Expected to ship within 10 - 15 working days
|
This book constitutes the refereed proceedings of the 7th
International Symposium on NASA Formal Methods, NFM 2015, held in
Pasadena, CA, USA, in April 2015. The 24 revised regular papers
presented together with 9 short papers were carefully reviewed and
selected from 108 submissions. The topics include model checking,
theorem proving; SAT and SMT solving; symbolic execution; static
analysis; runtime verification; systematic testing; program
refinement; compositional verification; security and intrusion
detection; modeling and specification formalisms; model-based
development; model-based testing; requirement engineering; formal
approaches to fault tolerance; and applications of formal methods.
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.