Apparel & Accessories 
Vehicles & Parts 
Toys & Games 
Sporting Goods 
Office Supplies 
Luggage & Bags 
Home & Garden 
Hardware 
Furniture 
Copied
Go to and paste the code at the checkout to enjoy
NASA Formal Methods
Best Price:
Buy NASA Formal Methods for $39.99 at @ Link.springer.com
No coupon is required — this is the standard retail price.
Set a price drop alert to never miss an offer.
Price Comparison
| Seller | Contact Seller | List Price | On Sale | Shipping | Best Promo | Final Price | Volume Discount | Financing | Availability | Seller's Page |
|---|---|---|---|---|---|---|---|---|---|---|
|
BEST PRICE 1 Product Purchase
|
|
$39.99 | $39.99 |
|
$39.99 | See Site | In stock | Visit Store |
Product Details
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.
Reviews
Questions & Answers
Essential AutoLISP
$119.00
Project Approaches to Learning in Engineering Education:The Practice of Teamwork
$49.99
StructureActivity Relationships for Development of Neurokinin-3 Receptor Antagonists
$109.99
Reimagining Sustainable Organization
$59.99
Introduction to Electronic Commerce and Social Commerce
$79.99
Beautiful & Brave: Brave / Valiente
$4.49
Einfhrung in die Mechanik Akustik und Wrmelehre
$59.99
Alyssa Milano's Hope: Hope: Project Middle School
$5.24
Febrile Neutropenia
$54.99
Cell-Mediated Effects of Immunoglobulins
$219.99
Earliest Life on Earth: Habitats, Environments and Methods of Detection
$169.99
Information and Communication Technology for Intelligent Systems
$219.99
Natur-, Ingenieur- und Wirtschaftswissenschaften
$69.99
Learn Sprite Kit for iOS Game Development
$39.99
Use of Market Data in the Recruitment of High Potentials
$54.99
Multispectral Satellite Image Understanding
$169.00
Ergotherapeutische Modelle praktisch angewandt
$64.99
Police Respond to Terrorism
$109.99
Jessi's Secret Language: A Graphic Novel (The Baby-Sitters Club #12)
$9.74
Transgender China
$39.99
Krperdiskurse anthropologisch gespiegelt
$34.99
Policing the Police in Asia
$54.99
Technologies of Inclusive Well-Being
$84.99
Vom Prinzip des Maes in Lessings Kritik
$44.99
Sartre's Existential Biographies
$24.99
Dopamine
$84.99
Inpainting and Denoising Challenges
$54.99
Enterprise Applications and Services in the Finance Industry
$39.99
Computational Epidemiology
$109.99
Sources In British Political History, 1900-1951
$169.99
Corpora and Translation Education
$159.99
Substituent Effects in Radical Chemistry
$219.99
Materialwissenschaft und Werkstofftechnik
$54.99
Advances in Cryptology EUROCRYPT 2018
$54.99
Operations Research
$34.99
Communication and Intelligent Systems
$249.99
Heinrich von Kleist: Der zerbrochne Krug, ein Lustspiel
$64.99
Metal-Metal Bonding
$259.00
Organisationsbezogenes Qualittsmanagement
$59.99
Swift 4 Recipes
$44.99
