Apparel & Accessories 
Vehicles & Parts 
Toys & Games 
Sporting Goods 
Office Supplies 
Luggage & Bags 
Home & Garden 
Hardware 
Furniture 
Copied
Go to and paste the code at the checkout to enjoy
Integrated Formal Methods
Best Price (Coupon Required):
Buy Integrated Formal Methods for $58.50 at @ Link.springer.com when you apply the 10% OFF coupon at checkout.
Click “Get Coupon & Buy” to copy the code and unlock the deal.
Set a price drop alert to never miss an offer.
Single Product Purchase
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
|
|
$64.99 | $64.99 |
|
10% OFF
This deals requires coupon
|
$58.50 | See Site | In stock | Visit Store |
Product Details
This book constitutes the refereed proceedings of the 17th International Conference on Integrated Formal Methods, IFM 2022, held in Lugano, Switzerland, in June 2022. The 14 full papers and 2 short papers were carefully reviewed and selected from 46 submissions. The papers are categorized into the following topical sub-headings: Invited Papers; Cooperative and Relational Verification; B Method; Time; Probability; learning and Synthesis; Security; Stats Analysis and Testing; PhD Symposium Presentations.
Reviews
Questions & Answers
Principles and Paradoxes of Sports Economics
$169.99
Information Retrieval for Music and Motion
$54.99
The Self in European and North American Culture
$329.99
Kapillarelektrophorese
$59.99
Heinrich Simon
$59.99
Astrophysical Data
$39.99
Ratgeber angeborene Herzfehler bei Kindern
$29.99
Kinetic Theory and Gas Dynamics
$54.99
Lie Theory and Geometry
$149.00
Transactions on Large-Scale Data- and Knowledge-Centered Systems XXX
$54.99
Kompendium der Kristallkunde
$44.99
Novel Developments in Futuristic AI-based Technologies
$199.99
Reaktive Planung in der chemischen Industrie
$69.99
RoboCup 2012: Robot Soccer World Cup XVI
$54.99
Disability Incarcerated
$119.99
Sport in audiovisuellen Medien
$59.99
Interactive Collaborative Learning
$219.99
Stragegische Situationsanalyse im Umweltmanagement
$59.99
The Subtle Logics of Knowledge Conflicts in Chinas Foreign Enterprises
$54.99
Migrant Care Workers aus Polen in der huslichen Pflege
$44.99
Polymer Characterization/Polymer Solutions
$84.99
Elektrophysiologie
$37.99
Die Endzeit der DDR-Wirtschaft Analysen zur Wirtschafts-, Sozial- und Umweltpolitik
$74.99
Investigation of Anorectal Functional Disorders
$84.99
Postnatal Growth Neurobiology
$219.99
Umweltbildung als Innovation
$69.99
Development in India
$84.99
Kurs Allgemeine Pathologie
$19.99
Media and the British Empire
$84.99
Business Intelligence for the Real-Time Enterprises
$39.99
Making It to the Forefront
$84.99
Handbook Timing Belts
$139.99
Beyond Pedagogies of Exclusion in Diverse Childhood Contexts
$54.99
Testing and Tuning Market Trading Systems
$44.99
Revisionsendoprothetik des Kniegelenks
$109.00
A Theory and Practice of Program Development
$54.99
Datenmodellierung mit deduktiven Techniken
$59.99
Introduction to Google Analytics
$37.99
Remote Sensing in Hydrology and Water Management
$109.00
Entscheidungsuntersttzung in elektronischen Verhandlungen
$59.99
