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 $76.50 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
|
|
$84.99 | $84.99 |
|
10% OFF
This deals requires coupon
|
$76.50 | See Site | In stock | Visit Store |
Product Details
This book constitutes the refereed proceedings of the 12th International Conference on Formal Engineering Methods, ICFEM 2010, held in Shanghai, China, November 2010. The 42 revised full papers together with 3 invited talks presented were carefullyreviewed and selected from 114 submissions. The papers address all current issuesin formal methods and their applications in software engineering. They areorganized in topical sections on theorem proving and decision procedures, webservices and workflow, verification, applications of formal methods, probabilityand concurrency, program analysis, model checking, object orientation and mod eldriven engineering, as well as specification and verification.
Reviews
Questions & Answers
Rheology and Processing of Liquid Crystal Polymers
$169.00
Proteases in Tissue Remodelling of Lung and Heart
$109.99
Clinical Algorithms in General Surgery
$249.99
Coping with Interference in Wireless Networks
$84.99
Social Business Models in the Digital Economy
$159.99
International Citizens' Tribunals
$39.99
Characterization of Terahertz Emission from High Resistivity Fe-doped Bulk Ga0.69In0.31As Based Phot
$84.99
Collaborative Computing: Networking, Applications and Worksharing
$99.99
Andrology
$109.00
Essential PHP Tools
$34.99
Advances in Social Simulation 2015
$219.99
Machine Learning, Optimization, and Big Data
$54.99
Principles and Practice of Constraint Programming - CP 2012
$109.99
Measurement
$169.99
Advanced Hybrid Information Processing
$54.99
Dynamic Response of Linear Mechanical Systems
$39.99
Food Transportation
$109.99
A Visual Astronomer's Photographic Guide to the Deep Sky
$34.99
Quantum Potential: Physics, Geometry and Algebra
$54.99
Videoarbeit mit einer Jugendgruppe
$59.99
Getting StartED with Windows 7
$29.99
Social-Ecological Systems (SES)
$189.00
Macroeconomic Policy Framework for Africa's Structural Transformation
$139.99
Malignant Lymphomas: Biology and Treatment
$84.99
Creation Emanation and Salvation
$54.99
Nonlinear Waves in Solid State Physics
$54.99
Shifting Solidarities
$89.00
Kommunales Rechnungswesen
$59.99
Cloud Computing CLOUD 2023
$54.99
Colloquium De Giorgi 2009
$29.95
Dokumentarische Unterrichtsforschung in den Fachdidaktiken
$74.99
Applications of Intelligent Optimization in Biology and Medicine
$54.99
Advances in Geochemistry, Analytical Chemistry, and Planetary Sciences
$199.99
Die sekundre Darlegungslast im Spiegel der Rechtsprechung des Bundesgerichtshofs
$89.99
Essentials of Regenerative Medicine in Interventional Pain Management
$219.99
Industry Competitiveness: Digitalization, Management, and Integration
$229.00
Elektrotechnik fr Fachschulen
$54.99
Deep Learning for Human Activity Recognition
$39.99
Case Studies in Building Constructions
$179.99
Foundations of Computational Intelligence
$84.99
