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 15th International Conference on Integrated Formal Methods, IFM 2019, held in Bergen, Norway, in December 2019. The 25 full papers and 3 short papers were carefully reviewed and selected from 95 submissions. The papers cover a broad spectrum of topics: from language design to verification and analysis techniques, to supporting tools and their integration into software engineering practice including both theoretical approaches and practical implementations. Also included are the extended abstracts of 6 "journal-first" papers.
Reviews
Questions & Answers
Optical Nonlinearities in Chalcogenide Glasses and their Applications
$84.99
Forward Brillouin Scattering in Standard Optical Fibers
$109.99
Hello World: Hello, Freight Train!
$5.21
Hydraulische Pressen und Druckflssigkeitsanlagen
$59.99
Bei Sozialkunde denke ich nur an dieses Trockene
$59.99
Sustainable Development, Digitalization, and the Green Economy in Africa Post-COVID-19
$129.99
Sociology of Exorcism in Late Modernity
$69.99
Generalized Continua as Models for Classical and Advanced Materials
$129.00
About Habitats: Grasslands
$5.21
Praxis des PR-Managements
$39.99
Optical Networks Recent Advances
$169.99
Chemie und Stoffwechsel von Binde- und Knochengewebe
$59.99
Nat for Nothing (Nat Enough #4) by Maria Scrivan
$12.99
Choreographing Intersubjectivity in Performance Art
$119.99
Design Thinking Research
$109.99
Theorie und Berechnung der Eisernen Brcken
$84.99
Ursprung und Entwicklung des Lebens
$19.99
Artificial Intelligence Logic and Applications
$119.99
Contemporary Feminist Historical Crime Fiction
$39.99
Kafka and Pinter
$109.99
Muscarinic Receptor
$169.00
Knstliche Intelligenz fr Lehrkrfte
$64.99
Criminology, Deviance, and the Silver Screen
$39.99
The Cognitive Turn
$169.99
Internet and Distributed Computing Systems
$54.99
Beitrge zur Berechnung von Lademasten
$59.99
Island Ecosystems
$129.00
Analysis and Algebra on Differentiable Manifolds: A Workbook for Students and Teachers
$64.99
Beyond Punishment: Achieving International Criminal Justice
$54.99
Mehrsprachigkeit im vereinten Europa
$39.99
Topology of Singular Fibers of Differentiable Maps
$29.99
AI in Drug Discovery
$54.99
Contemporary Latin American Cinema
$79.99
Statistical Relational Artificial Intelligence
$54.99
Social Justice
$109.99
The European Unions Immigration Policy
$109.99
Assessing the Quality of Experience of Cloud Gaming Services
$109.99
Wireless Sensor Networks
$119.99
Atopisches Ekzem im Kindesalter (Neurodermitis)
$69.99
Epstein Barr Virus Volume 2
$169.99
