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

Minimally Invasive Surgery of the Liver

$84.99

Doing Shifts

$129.99

Einfhrung in die Finanzstatistik

$29.99

Soziale Pathologie

$59.99

Computational Social Networks

$109.99

The Baby-Sitters Club: Kristy and the Walking Disaster (Hardcover)

$18.74

When in Rome: A Novel by Sarah Adams

$17.00

Creo Parametric 3.0 fr Fortgeschrittene kurz und bndig

$19.99

Greek Studies in the Philosophy and History of Science

$169.00

Leistungsorientierte Vergtung als Qualifizierungsanreiz

$64.99

Political Violence and the Construction of National Identity in Latin America

$39.99

Mutual Trust in Regional and Interregional Cooperation on Counterterrorism

$109.00

Heuristic Approaches for Telecommunications Network Management, Planning and Expansion

$109.99

Acoustics-A Textbook for Engineers and Physicists

$79.99

EU Human Rights, International Investment Law and Participation

$129.99

Bessere Geschftsbriefe mit WordStar und MailMerge

$59.99

Hugo von Hofmannsthal

$17.99

Fuzzy Set Theory and Advanced Mathematical Applications

$169.99

Asymmetric Top Molecules, Part 2

$549.99

Catalog of Solar Particle Events 19551969

$39.99

Germany and the European Union

$79.99

Der Ausschluss von Minderheitsaktionren

$109.00

RNAs:

$109.99

Atlas of Practical Applications of Cardiovascular Magnetic Resonance

$84.99

Imaging Living Cells

$74.99

Eurasian Steppes. Ecological Problems and Livelihoods in a Changing World

$219.99

Seminal Studies in Regional and Urban Economics

$109.99

The Logic of Responsibility Voids

$84.99

A Discipline of Multiprogramming

$39.99

Cryptography

$34.99

Sphingosine-1-Phosphate

$169.99

Gottfried von Strassburg

$19.99

Physics, Philosophy and Psychoanalysis

$169.99

Big Data

$54.99

Der Kompass der CDU

$84.99

Ending Medicines Chronic Dysfunction

$59.99

HCI in Business, Government, and Organizations: Information Systems

$54.99

Packaging in the Environment

$39.99

Acid Waters in Wales

$169.99

Keratosen; Ichthyosis; Morbus Darier; Atrophien; Sclerodermie; Elephantiasis

$49.99