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
Same-Sex Love in India
$109.99
Ethics and Form in Fantasy Literature
$109.99
Managing Requirements Knowledge
$109.99
ULF Waves Interaction with Cold and Thermal Particles in the Inner Magnetosphere
$109.99
Advances in Nuclear Architecture
$129.00
Synthon Model of Organic Chemistry and Synthesis Design
$109.99
Pan Africanism, Regional Integration and Development in Africa
$159.99
Agnes Heller
$44.99
Maple V Language Reference Manual
$74.99
Einfhrung in die Chemie nachwachsender Rohstoffe
$44.99
Brian Friel
$54.99
Understanding Media Policies
$54.99
Traffic Management and Traffic Engineering for the Future Internet
$39.99
Smart Market
$69.99
Prparative Organische Photochemie
$59.99
Handelsrecht
$19.99
Big Brother
$54.99
Stella Tells Her Story
$5.99
Mathematics in Geology
$39.99
The Palestinian Intifada
$39.99
Performance and Identity in Irish Stand-Up Comedy
$54.99
E-Business and Telecommunications
$89.99
Die Projektleiterlaufbahn
$59.99
Controlling von Konzernplanungssytemen
$49.99
Nonlinear Programming Codes
$54.99
Forum Mergers & Acquisitions 2014
$69.99
Advanced Information Systems Engineering Workshops
$44.99
Exploration of Cortical Function
$169.99
Arabisch-Amerikanische Jugend
$129.99
Einweiser- und Patientenbeziehungsmanagement im Krankenhaus
$74.99
Guided Reading Level I Pack 2
$63.00
Die neuen Grundlagen der Fhrung
$59.99
Constitutional Justice, East and West
$219.99
Grundriss der Entwicklung des Menschen
$69.99
Concurrent Zero-Knowledge
$84.99
Analysis and Design of Univariate Subdivision Schemes
$39.99
Caring for the Ventilator Dependent Child
$159.99
Lehrbuch der Gesteins- und Bodenkunde
$39.99
The Challenge of Highly Pathogenic Microorganisms
$169.00
Best New Books Grade 6 2024-2025
$155.00
