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
Formal Methods and Software Engineering
Best Price (Coupon Required):
Buy Formal Methods and Software Engineering 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 Formal Engineering Methods, ICFEM 2012, held in Kyoto, Japan, November 2012. The 31 revised full papers together with 3 invited talks presented were carefully reviewed and selected from 85 submissions. The papers address all current issues in formal methods and their applications in software engineering. They are organized in topical sections on concurrency, applications of formal methods to new areas, quantity and probability, formal verification, modeling and development methodology, temporal logics, abstraction and refinement, tools, as well as testing and runtime verification.
Reviews
Questions & Answers
Advances in Yersinia Research
$219.99
Norman The Doorman
$6.50
Survey of Text Mining
$109.99
Performance Analysis and Grid Computing
$169.99
Commitment in Kundenbeziehungen
$69.99
Action Learning
$109.99
Innentter-Screenings durch Anomalieerkennung
$79.99
konomie und kologie in Japan
$64.99
Advances in Artificial Intelligence
$39.99
Grundbegriffe des preuischen Wegerechts
$59.99
Mind, Meaning and Metaphysics
$219.99
Energy Efficient Non-Road Hybrid Electric Vehicles
$39.99
Freak the Mighty: Max the Mighty
$6.74
Eva at the Beach
$4.49
Density-Matrix Renormalization - A New Numerical Method in Physics
$129.00
Interdisciplinarity in the Scholarly Life Cycle
$54.99
Oceanic Fronts in Coastal Processes
$109.99
Virtual Reality and Augmented Reality
$39.99
Target Identification and Validation in Drug Discovery
$169.99
Transport Equations and Multi-D Hyperbolic Conservation Laws
$49.95
Global and Regional Climate Interaction: The Caspian Sea Experience
$84.99
Arbeiten aus dem Neurologischen Institute an der Wiener Universitt
$59.99
Praxis des PR-Managements
$39.99
Unternehmerische Selbstdarstellung im Internet
$54.99
Studies in Religion
$39.99
Building Versatile Mobile Apps with Python and REST
$54.99
Real-Time Medical Image Processing
$54.99
Cutaneous Lymphomas
$84.99
Coenzyme Q in Aging
$169.99
Internationalization of Industry
$39.99
Haftung und Versicherung fr Umweltschden aus konomischer und juristischer Sicht
$69.99
Identifying, Assessing, and Treating Early Onset Schizophrenia at School
$39.99
New Aspects in Phosphorus Chemistry III
$169.00
The Eurogang Paradox
$109.99
Airways Smooth Muscle: Biochemical Control of Contraction and Relaxation
$84.99
Probability and Information
$449.99
Riverine Ecosystem Management
$59.99
Extracerebral Collections
$54.99
Ecological Urbanism of Yoruba Cities in Nigeria
$139.99
Verfahren der quidensitometrie im Hinblick auf die quantitative Auswertung schalloptischer Abbildun
$59.99
