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 (Coupon Required):
Buy NASA Formal Methods for $98.10 at @ Link.springer.com when you apply the 10% OFF coupon at checkout.
Click “Get Coupon & Buy” to copy the code and unlock the deal.
Set a price drop alert to never miss an offer.
Single Product Purchase
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
|
|
$109.00 | $109.00 |
|
10% OFF
This deals requires coupon
|
$98.10 | See Site | In stock | Visit Store |
Product Details
This book constitutes the proceedings of the 14th International Symposium on NASA Formal Methods, NFM 2022, held in Pasadena, USA, during May 24-27, 2022. The 33 full and 6 short papers presented in this volume were carefully reviewed and selected from 118submissions. The volume also contains 6 invited papers. The papers deal with advances in formal methods, formal methods techniques, and formal methods in practice. The focus on topics such as interactive and automated theorem proving; SMT and SAT solving; model checking; use of machine learning and probabilistic reasoning in formal methods; formal methods and graphical modeling languages such as SysML or UML; usability of formal method tools and application in industry, etc.
Reviews
Questions & Answers
Flower Garden: 6-Book Set
$30.95
Freundschaften im gesellschaftlichen Wandel
$49.99
Uterine Cancer
$219.99
Mein erster Dienst - Intensivmedizin
$44.99
Theoretical Mechanics
$54.99
Greek Resurrection Beliefs and the Success of Christianity
$39.99
Computer Safety, Reliability, and Security
$54.99
Advance Concepts of Image Processing and Pattern Recognition
$199.99
Hummingbird (Hardcover)
$13.49
Infrastructures for Virtual Enterprises
$169.00
Persia in Early Modern English Drama, 15301699
$129.99
Computational Intelligence in Information Assurance and Security
$109.99
The Chinese Economy
$109.99
Cyclostationarity: Theory and Methods IV
$129.00
Die Wrmepumpe in der Verfahrenstechnik
$89.99
Industrial Engineering: Innovative Networks
$219.99
The Origin of Ping-Pong Diplomacy
$69.99
Trends in Youth Development
$109.99
Handbuch Strategisches Personalmanagement
$179.99
Historical Fiction Grades 6-8
$59.00
Marxismus - Leninismus - Kommunismus - Faschismus
$39.99
Gewalt in huslichen Beziehungen
$49.99
Participatory and Digital Democracy at the Local Level
$159.99
Big Data Analytics in U.S. Courts
$44.99
Elektromagnetische Felder
$49.99
Software Engineering, Business Continuity, and Education
$109.99
Fhrung von Wirtschaftsprfungsgesellschaften
$59.99
Acute Coronary Syndrome
$84.99
International Scientific Conference Energy Management of Municipal Facilities and Sustainable Energy
$219.99
Interne Revision
$69.99
Mechanische Wschebeanspruchung und Waschwirkung in Rhrwerkmaschinen
$59.99
Farbige Parkette
$59.99
Good Practice in Pediatric and Adolescent Gynecology
$99.99
Retrotransposition, Diversity and the Brain
$84.99
Opposing Europe in the European Parliament
$159.99
Women and Spirituality in the Writing of More, Wollstonecraft, Stanton, and Eddy
$39.99
Nanotechnology for Infectious Diseases
$279.99
Molecular Properties via Induced Current Densities
$129.99
Prehistoric Iberia
$109.99
Charakterisierung von Wartezeiten in verschiedenen Modellen von Quantennetzwerken
$39.99
