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

Integrated Formal Methods

Integrated Formal Methods

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

This book constitutes the refereed proceedings of the 13th InternationalConference on Integrated Formal Methods, IFM 2017, held in Turin, Italy, in September 2017. The 24 full papers and 4 short papers presented were carefully reviewed andselected from 61 submissions. They are organized in topical sections on cyber-physical systems, software verification tools, safety-critical systems, concurrency and distributed systems, program verification techniques, formal modeling, and verified software.

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

HIV/AIDS Treatment in Resource Poor Countries

$84.99

Nuclear Cardiology in Everyday Practice

$169.00

Improving the Quality of Child Custody Evaluations

$54.99

Konstruktive Geometrie in der Technik

$59.99

Managing Agile Business Technology

$89.99

The Syntax-Phonology Interface in Focus and Topic Constructions in Italian

$109.99

Scientific Management reloaded?

$64.99

Russia and its Other(s) on Film

$54.99

Motilitt der oberen Harnwege

$59.99

UV-GO 2015 Kommentar - Arbeitsunflle und Berufskrankheiten

$69.99

Weil Kapitalismus sich ndern muss

$29.99

US Jews

$179.99

Kreislauffunktion in William Harveys Schriften

$69.99

Fuel Arc Furnace (FAF) for Effective Scrap Melting

$49.99

Movement Disorders Phenomenology

$84.99

Mystery Grades 2-3

$92.00

Bible Witness in Black Churches

$39.99

Psychology and Ontology in Plato

$109.99

Earth Surface Processes and Environmental Changes in East Asia

$109.99

Bounded Incremental Computation

$39.99

Practical Aspects of Declarative Languages

$39.99

Decade of Disillusion

$74.99

Austerity Policies

$169.99

Ecosystem Services in Patagonia

$169.99

Geschichte und Gegenwart der Erziehungsphilosophie

$74.99

Freedom 7

$49.99

C# Programming for Absolute Beginners

$79.99

Commuting Stress

$109.99

Number Theory in Function Fields

$89.99

Education and Social Change in Egypt and Turkey

$39.99

Beitrag zur Anwendung von Warteschlangenmodellen beim innerbetrieblichen Transport

$59.99

Satellite Monitoring of Water Resources in the Middle East

$129.00

Integrity in Organizations

$54.99

Water and Sustainable Agriculture

$54.99

Plasma Chemistry II

$39.99

Gradients in a Tropical Mountain Ecosystem of Ecuador

$329.99

Basement Tectonics 12

$129.00

Supramolecular Structure and Function 7

$84.99

The Bishan Commune and the Practice of Socially Engaged Art in Rural China

$139.99

Infertility in Medieval and Early Modern Europe

$99.00