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 $36.00 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
|
|
$39.99 | $39.99 |
|
10% OFF
This deals requires coupon
|
$36.00 | See Site | In stock | Visit Store |
Product Details
This book constitutes the refereed proceedings of the 14th International Conference on Integrated Formal Methods, IFM 2018, held in Maynooth, Ireland, in September 2018. The 17 full papers and 5 short papers presented together with 3 invited talks were carefully reviewed and selected from 60 submissions. The conference covers a broad spectrum of topics: from language design, to verification and analysis techniques, to supporting tools and their integration into software engineering practice.
Reviews
Questions & Answers
Noise-Induced Hearing Loss
$199.99
Erkenntniskritische Sozialisationstheorie
$89.99
Wissenschaftliche Weiterbildung als Personalentwicklung
$49.99
Computational Intelligence for Water and Environmental Sciences
$199.99
The Secrets of Droon: #2 Journey to the Volcano Palace
$3.74
Perspectives in English Urban History
$39.99
Beitrge zu den Tuschungsmglichkeiten in der Zahnrztlichen Rntgenologie
$54.99
Nature of Science in Science Instruction
$139.00
Global Aspects of Complex Geometry
$109.99
Pottery Function
$84.99
Science and Technology in Historic Preservation
$109.99
Umweltrecht im Wandel
$69.99
Ueber Formen und Abarten heimischer Waldbume
$59.99
Grundlagen der Regelungstechnik
$69.99
Famous Americans Text Set: Grade K
$255.00
Angle and Spin Resolved Auger Emission
$84.99
The Palgrave Handbook of Social Harm
$249.99
The Apocalypse in England
$169.99
Parallel Robots
$129.99
Characterization Methods for Submicron MOSFETs
$169.99
Proteins, Peptides and Amino Acids SourceBook
$219.99
Enemy Pie
$5.21
Hydrogen Bond Research
$84.99
Silicon Analog Components
$129.99
Logicism, Intuitionism, and Formalism
$229.00
Molecular and Cellular Biology of Neuroprotection in the CNS
$169.00
Design and Development of Aerospace Vehicles and Propulsion Systems
$299.00
The Haunted House in Womens Ghost Stories
$109.99
Power Electronic Converters Modeling and Control
$79.99
ESSKA Instructional Course Lecture Book
$84.99
Implications of Open Access Repositories Quality Criteria and Features for Teachers TPACK Developme
$54.99
Untersuchungen zur Reduzierung der Lrmimmission propellergetriebener Leichtflugzeuge und Motorsegle
$69.99
Trennung von der Organisation
$74.99
Sichere Netzwerkkommunikation
$14.99
Product-Service Integration for Sustainable Solutions
$219.99
Shakespeare and the Shrew
$54.99
Digital Age: Chances, Challenges and Future
$169.00
Die Kunst zu prsentieren
$59.99
Proving It Her Way
$32.99
Intelligent Video Event Analysis and Understanding
$109.99
