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

Formal Methods

Formal Methods

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

This book constitutes the refereed proceedings of the 22nd International Symposium on Formal Methods, FM 2018, held in Oxford, UK, in July 2018. The 44 full papers presented together with 2 invited papers were carefully reviewed and selected from 110 submissions. They present formal methods for developing and evaluating systems. Examples include autonomous systems, robots, and cyber-physical systems in general. The papers cover a broad range of topics in the following areas: interdisciplinary formal methods; formal methods in practice; tools for formal methods; role of formal methods in software systems engineering; and theoretical foundations.

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

Grundlagen der Theoretischen Informatik

$39.99

Journalistinnen im Schulterschluss?

$69.99

Wegweiser durch die Arbeiten des Verbandes Deutscher Elektrotechniker (VDE)

$59.99

Mathematisches Modellieren

$37.99

Creative Arts in Education and Culture

$84.99

Innovation in Medicine and Healthcare

$219.99

Partizipationsfrderung in Ganztagsschulen

$64.99

Einkaufsvorbereitung

$59.99

Chemistry of the Lower Atmosphere

$109.99

Statistik fr Erziehungswissenschaftlerinnen und Erziehungswissenschaftler

$44.99

Messtechnik und Prfstnde fr Verbrennungsmotoren

$79.99

Die wirtschaftliche Verwendung von Mehrspindelautomaten

$59.99

Paint By Sticker Kids: Dinosaurs

$6.71

General Principles of Thai Private Law

$139.99

Independent Reading Library: Level W (45 Books)

$285.00

Advanced Imaging in Biology and Medicine

$169.00

PreK On My Way Math Module English

$1,290.00

Transactions of the International Astronomical Union

$54.99

Speaker Classification II

$39.99

Biostatistics for Radiologists

$54.99

Dynamics of Mechanical Systems with Non-Ideal Excitation

$109.99

Roadway Drivage Techniques in the Coal Mines of the European Community

$169.99

Plant Secondary Metabolism Engineering

$109.00

The Biology of Taurine

$219.99

Sources of Uncertainty in the Tropical Pacific Warming Pattern under Global Warming Projected by Cou

$84.99

Atlas of Fine Needle Aspiration Cytology

$169.00

Beginning SQL Server R Services

$29.99

Blockchain Economics and Financial Market Innovation

$139.00

The Kazhdan-Lusztig Cells in Certain Affine Weyl Groups

$44.99

Rechnungswesen und EDV. 17. Saarbrcker Arbeitstagung 1996

$179.00

Field-Driven Micro and Nanorobots for Biology and Medicine

$249.99

Chemische Analysen mit dem Polarographen

$59.99

Kinderrztliche Differentialdiagnostik

$59.99

Discrete Stochastic Processes

$39.99

Intelligent Textiles and Clothing for Ballistic and NBC Protection

$179.99

Unternehmenskrisen erfolgswirksam managen

$39.99

Algorithms and Models for the Web Graph

$44.99

Online-Marketing fr die erfolgreiche Zahnarztpraxis

$44.99

Automated Biometrics

$129.00

Virtual Components Design and Reuse

$169.99