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 7th International Conference on Integrated Formal Methods, IFM 2009, held in Dsseldorf, Germany in February 2009. The 21 revised full papers presented together with 3 invited papers were carefully reviewed and selected from 55 submissions. The papers address the whole spectrum of integrated formal methods, ranging from formal and semiformal modelling notations, semantics, verification, refinement, model transformations to type systems, logics, tools and case studies.
Reviews
Questions & Answers
Citizen Publications in China Before the Internet
$54.99
Web Services, E-Business, and the Semantic Web
$39.99
DNA-Encoded Chemical Libraries
$169.99
13. Tagung der sterreichischen Gesellschaft fr Unfallchirurgie
$69.99
Emotionen
$89.99
Connecting a Digital Europe Through Location and Place
$129.00
Stable Mineral Assemblages of Igneous Rocks
$54.99
Struktur und Funktion von Enzymen
$44.99
Innovations in Mechanical Engineering III
$219.99
Bildverarbeitung fr die Medizin 2022
$84.99
Handbuch der Literaturen aus Czernowitz und der Bukowina
$99.99
Rigid Germs, the Valuative Tree, and Applications to Kato Varieties
$24.99
Carry and Learn Colors / Llevame y aprende: Colores
$5.21
Elites and Decolonization in the Twentieth Century
$54.99
Transactions on Large-Scale Data- and Knowledge-Centered Systems LI
$39.99
Stream Ecology
$129.99
Microglia
$259.00
Universal Access in Human-Computer Interaction. Novel Design Approaches and Technologies
$139.99
Inequalities in Mechanics and Physics
$129.99
Biochemistry of Diabetes and Atherosclerosis
$39.99
Wild Ride
$5.99
Foundation Drupal 7
$29.99
Chemical Evolution: Physics of the Origin and Evolution of Life
$219.99
Thrombosis and Thrombolysis
$54.99
Superconductivity and Electromagnetism
$139.99
Developments in Services of General Interest
$84.99
The Presidents of the French Fifth Republic
$54.99
Kleine Haushaltungskunde: Hauswirtschaft Ernhrung, Kinder- und Krankenpflege
$49.99
Arbeitsverhalten von Managern
$59.99
Applied Behavior Analysis for Children with Autism Spectrum Disorders
$89.00
Ezra Pound's Fascist Propaganda, 1935-45
$54.99
Proceedings of the 3rd International Conference on Cognitive Based Information Processing and Applic
$249.99
Security Protocols
$39.99
Escape from Leviathan
$109.99
Die Schlichtungsvcrordnung vom 30. Oktober 1923
$59.99
Economics of Peacemaking
$44.99
Environmental Change in Lesotho
$109.99
Trollope and His Illustrators
$27.50
Handbook of Condition Monitoring
$329.99
Copyright and Public Performance of Music
$54.99
