Compare Prices | Create Shopping Lists with Price Drop Alerts | Set Coupons, Promo Codes & Sales Alerts | Get Access to Exclusive Deals and Much More... All in One Place | Read all about it here

NASA Formal Methods

NASA Formal Methods

Brand
Springer Nature
Manufacturer
N/A
Part Number
0
GTIN
9783642203978
Condition
New
Product Description

This book constitutes the refereed proceedings of the Third International Symposium on NASA Formal Methods, NFM 2011, held in Pasadena, CA, USA, in April 2011. The 26 revised full papers presented together with 12 tool papers, 3 invited talks, and 2 invited tutorials were carefully reviewed and selected from 141 submissions. The topics covered by NFM 2011 included but were not limited to: theorem proving, logic model checking, automated testing and simulation, model-based engineering, real-time and stochastic systems, SAT and SMT solvers, symbolic execution, abstraction and abstraction refinement, compositional verification techniques; static and dynamic analysis techniques, fault protection, cyber security, specification formalisms, requirements analysis, and applications of formal techniques.

Available Colors
Available Sizes
1 Offer Price Range: $39.99 - $39.99
BEST PRICE

Single Product Purchase

$39.99
@ Link.springer.com     BUY Now

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
@ Link.springer.com
Contact Store Call Store Contact Support
$39.99 $39.99

$39.99
See Site In stock Visit Store

Similar Products

Ordered Random Variables: Theory and Applications

$109.99

Ordinary Differential Equations in Banach Spaces

$29.99

Hormone Use and Abuse by Athletes

$149.00

Wenn Bach trauert

$49.99

Short-Term Bioassays in the Analysis of Complex Environmental Mixtures II

$39.99

Systems Development Methods for the Next Century

$39.99

Implantable Cardioverter Defibrillator Stored ECGs

$84.99

Projekt- und Investitionscontrolling mit SAP R/3

$64.99

Swift Recipes for iOS Developers

$49.99

Natural Gas Hydrate

$54.99

International Handbook of Lifelong Learning

$429.00

Tracheotomy and Airway

$79.99

Coaching als Manahme der Personalentwicklung

$59.99

Scientific Software Systems

$39.99

Cardiac Drugs in Pregnancy

$49.99

Medieval Paradigms: 2 Volume Set

$109.99

Teaching and Learning English in the Primary School

$129.99

Authentische Karriereplanung

$29.99

Ultrasonography in Dentomaxillofacial Diagnostics

$249.99

Vereinfachte Fliezonentheorie

$44.99

Post-War Jewish Fiction

$109.99

Engineering and Social Justice

$19.99

Advances in Cryptology - CRYPTO '90

$39.99

Meeting the Third World Challenge

$74.99

Refractive Lens Surgery

$149.00

Computational Reality

$149.00

Musculoskeletal Ultrasound

$219.99

Karst of East Herzegovina and Dubrovnik Littoral

$169.99

Fungal Viruses

$54.99

Muslim Women as Speakers of English

$39.99

Stalin's Cold War

$54.99

LATIN 2018: Theoretical Informatics

$54.99

Typenbasierte Integration von Markengemeinschaften

$44.99

Applications of Modern Dynamics to Celestial Mechanics and Astrodynamics

$219.99

Corporate Social Responsibility in Sub-Saharan Africa

$109.99

Discrete Mechanics A Unified Approach

$54.99

Digital Media

$39.99

Control of the Cardiovascular and Respiratory Systems in Health and Disease

$39.99

Professional Practice and Learning

$109.99

British Politics and European Elections 2004

$54.99