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 |
|
$36.00 | See Site | In stock | Visit Store |
Reviews
Questions & Answers
An Introduction to Object-Oriented Programming in C++
$109.99
International Organizations
$199.99
Physikalische und psychoakustische Grundlagen der Musik
$84.99
Human Centered Computing
$84.99
Performing Nashville
$139.99
Mechanics of Classical Sandwich Structures
$84.99
Stadtbaugeschichte von der Antike bis zur Neuzeit
$59.99
Improving Outcomes in Oral Cancer
$109.99
Art Education Beyond the Classroom
$54.99
Brgerschaftliches Engagement in Wohlfahrtsverbnden
$59.99
Research on e-Learning and ICT in Education
$129.00
Elektrische Antriebe in der Fahrzeugtechnik
$29.99
Cosmology Revealed: Living Inside the Cosmic Egg
$44.99
Entscheidungstheorie
$37.99
The Phenomenological Realism of the Possible Worlds
$129.00
Prophylactic Surgery
$219.99
Fluid Dynamics
$89.00
APM Best Practices
$44.99
uglingernhrung
$64.99
Distributed Computing and Artificial Intelligence, Volume 1: 18th International Conference
$129.00
Die Basis der Vielfalt
$49.99
Recollections of Eminent Economists
$39.99
Holomorphic Dynamics
$34.99
The Political Economy of Refugee Migration and Foreign Aid
$109.99
Direct and Inverse Problems
$54.99
Climate in Human Perspective
$84.99
Risk, Portfolio Management and Capital Markets
$39.99
Sportmedizinische Forschung
$69.99
Ion Channels in Biophysics and Physiology
$219.99
Differentiable Optimization and Equation Solving
$84.99
Travel and Tourism: Sustainability, Economics, and Management Issues
$249.99
Informatik - Anwendungsentwicklung - Praxiserfahrungen
$49.99
Reexamining Academic Freedom in Religiously Affiliated Universities
$119.99
Wissenschaft in Sorge um die Umwelt
$49.99
Frontier Topics in Banking
$129.00
Male Criminal Activity from Childhood Through Youth
$84.99
Trophic Relationships in Inland Waters
$39.99
Religious Ferment in Russia
$39.99
Fu und Bein
$59.99
Angewandte Oberflchenanalyse mit SIMS Sekundr-Ionen-Massenspektrometrie AES Auger-Elektronen-Spekt
$79.99
