Copied Integrated Formal Methods
Integrated Formal Methods
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.
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
|
|
$39.99 | $39.99 |
|
$39.99 | See Site | In stock | Visit Store |
Reviews
Questions & Answers
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
