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
Neuroprosthetics and Brain-Computer Interfaces in Spinal Cord Injury
$99.00
Lehrerbildung: IGLU und die Folgen
$59.99
Atlas of Regional Anatomy of the Brain Using MRI
$99.00
Stem Cell Transcriptional Networks
$99.00
Activity-Based Cost and Environmental Management
$169.99
Phonics Chapter Book - Level 2: Tales Once Told
$6.74
Unmagnetische Handwerkzeuge aus Titan und Stahl Schmieden Bearbeiten Prfen
$84.99
Industry Structure and Pricing
$179.99
Business Process Management
$39.99
Exploratory Study on Circular Economy Approaches
$39.99
Forests and Insects
$219.99
Elektrokardiographische Studien bei Ischmie des Kammerseptums
$54.99
Technikhandhabung im hheren Alter
$49.99
Measuring and Developing Professional Competences in COMET
$139.00
Bone Loss and Osteoporosis
$109.99
Nanometer CMOS RFICs for Mobile TV Applications
$84.99
Antitrust Institutions and Policies in the Globalising Economy
$109.99
Projektmanagement in der Automobilindustrie
$17.99
Romantic Consciousness
$54.99
Rurality, Social Justice and Education in Sub-Saharan Africa Volume I
$84.99
Insect Pheromones and their Use in Pest Management
$169.99
Discrete Differential Geometry
$59.99
Mouse Brain Development
$39.99
Larisa Maksimova on Implication, Interpolation, and Definability
$39.99
Problemfelder des deutschen Konzernsteuerrechts
$59.99
Weltpolitik im Wandel
$64.99
CNS Metastases Neurosurgery in the Aged
$109.99
Sexual Orientation in Child and Adolescent Health Care
$39.99
Plant Stress Biology
$199.99
Scholastic Bookroom - Grades K-3
$23,995.00
Maanaland (Hardcover)
$14.24
Space and Time in the Microworld
$84.99
Green Chemistry in Environmental Sustainability and Chemical Education
$109.99
Residue Reviews
$39.99
Intracranial Vascular Malformations and Aneurysms
$54.99
Perturbation Analysis of Discrete Event Dynamic Systems
$84.99
Chemical Lake Restoration
$99.00
Starting a Business All-in-One For Dummies by Eric Tyson
$36.99
Krankenhausrecht Einschliesslich Arzt- und Heilmittelrecht
$44.99
Physical Chemistry of Food Processes, Volume II: Advanced Techniques, Structures and Applications
$169.99
