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
9783031067730
Condition
New
Product Description

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.

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

Single Product Purchase

$109.00
@ 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
$109.00 $109.00

$109.00
See Site In stock Visit Store

Similar Products

Modern Drug use

$39.99

Quality in Business Process Modeling

$59.99

Judicial Review of Legislation

$84.99

Ortsfeste Dieselmotoren und Schiffsdieselmotoren

$64.99

Solid State Gas Sensing

$109.99

The Palgrave Handbook of Youth Gangs in the UK

$249.99

Modelling Foundations and Applications

$54.99

Hematopoietic Stem Cell Transplantation

$169.99

Durchlaufzeiten in Informationsprozessen

$54.99

Global and Regional Climate Interaction: The Caspian Sea Experience

$84.99

The World of Gustavo: Leila, The Perfect Witch

$5.21

The Unaccountable State of Surveillance

$199.99

Cinephilie unter der Diktatur

$84.99

Geologie des Niederrheinisch-Westflischen Steinkohlengebietes

$89.99

RF MEMS Switches and Integrated Switching Circuits

$129.00

E-Commerce and Web Technologies

$39.99

Devisenoptionen

$44.99

Ground Water Contamination in India

$109.00

Advances and Trends in Artificial Intelligence. Theory and Practices in Artificial Intelligence

$129.99

Public Law within Government

$39.99

Schiefer als Werkstein

$49.99

Radio Techniques for Probing the Terrestrial Ionosphere

$89.00

Die kologische Herausforderung

$59.99

Versuchsanlage zur Prfung von Sttzen unter Dauerlast

$54.99

Immune Mediated Diseases

$169.00

EURATOM and Nuclear Safeguards

$54.99

Theory and Practice of Formal Methods

$54.99

The ECG in Acute Myocardial Infarction and Unstable Angina

$84.99

Handbook of Portfolio Construction

$169.00

Cross-Cultural Schooling Experiences of Arab Newcomer Students

$54.99

Sensory Perceptions in Language, Embodiment and Epistemology

$99.99

Cutting Edge of Ophthalmic Surgery

$179.00

Color Atlas of Surgical Anatomy for Esophageal Cancer

$84.99

Multi-Sensor Data Fusion

$89.00

Inkontinenzmanual

$84.99

AI, Blockchain and Self-Sovereign Identity in Higher Education

$219.99

Pro Oracle Database Administration

$54.99

Psychiatric Disorders in Pregnancy and the Postpartum

$199.99

Numerik partieller Differentialgleichungen fr Ingenieure

$64.99

Medieval Spaces in Comics

$139.99