Copied NASA Formal Methods
NASA Formal Methods
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.
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 |
|
$36.00 | See Site | In stock | Visit Store |
Reviews
Questions & Answers
Success in Academic Surgery: Innovation and Entrepreneurship
$109.99
Designing for Privacy and its Legal Framework
$129.00
Conflict Management and Industrial Relations
$109.99
Whatever After: Dream On (#4)
$4.49
Economic Diversification and Growth in Africa
$59.99
Technische Mechanik starrer Gebilde
$59.99
Das Linux-Tutorial - Ihr Weg zum LPI-Zertifikat
$54.99
Reliability Problems: General Principles and Applications in Mechanics of Solids and Structures
$54.99
Imaging Tumor Response to Therapy
$54.99
Laser Systems in Flow Measurement
$54.99
Software Engineering Techniques Applied to Agricultural Systems
$109.99
Semantic Knowledge Modelling via Open Linked Ontologies
$169.99
Scholastic Q & A: Do Tarantulas Have Teeth?
$5.24
PDZ Mediated Interactions
$169.99
Perspektivenwechsel in der Digitalisierung
$19.99
Current Issues in Parsing Technology
$219.99
China Buys the World
$44.99
Design and Simulation in Biomedical Mechanics
$169.00
Kindler Kompakt: Spanische Literatur, 20. Jahrhundert
$19.99
On the Frontier
$54.95
New Journalism Ecologies in East and Southern Africa
$119.00
Detection and Identification of Rare Audio-visual Cues
$109.99
Handbuch NGO-Kommunikation
$149.99
Umweltvertrglichkeitsuntersuchung
$79.99
Lectures on Numerical Mathematics
$39.99
African American Women Writers' Historical Fiction
$54.99
Prostate Cancer
$189.00
The Fair and Equitable Treatment (FET) Standard in International Investment Arbitration
$79.99
Quantum Computing for the Quantum Curious
$59.99
Remaking Monetary Policy in China
$39.99
Praxisbuch Energiewirtschaft
$89.99
Bisphosphonates and Tumor Osteolysis
$109.99
Regular Non-Additive Multimeasures. Fundaments and Applications
$84.99
Phenomenology and The Social Science: A Dialogue
$54.99
Ocean Processes in Climate Dynamics
$329.99
Handbook of Nonlinear Optical Crystals
$199.99
Chiral Separations
$84.99
Thermodynamics of Finite Systems and the Kinetics of First-Order Phase Transitions
$39.99
Disability Incarcerated
$109.99
Trennung von der Organisation
$74.99
