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 13th International Conference on Formal Engineering Methods, ICFEM 2011, held in Durham, UK, October 2011. The 40 revised full papers together with 3 invited talks presented were carefully reviewed and selected from 103 submissions. The papers address all current issues in formal methods and their applications in software engineering. They are organized in topical sections on formal models; model checking and probability; specification and development; security; formal verification; cyber physical systems; event-B; verification, analysis and testing; refinement; as well as theorem proving and rewriting.
Reviews
Questions & Answers
Surgical Oncology
$689.00
The Carlsberg Story
$49.99
Genetic Engineering 3
$39.99
Optimierungsmethoden des Operations Research
$69.99
Environmental Economics and Computable General Equilibrium Analysis
$99.00
VOB/B 2012 - Textausgabe/Text Edition
$39.99
Proceedings of the 4th International Congress of Automotive and Transport Engineering (AMMA 2018)
$219.99
Tumors of the Central Nervous System, Volume 4
$169.00
Praxis der Personalisierung im Handel
$29.99
Investigators: Transportation: Port to Port
$4.46
Betreuung von Dialysepatienten
$39.99
New Modes of Governance in Europe
$39.99
Symmetry and Integration Methods for Differential Equations
$199.99
Cyber Security
$54.99
Marketing US Foreign Policy in the MENA Region
$129.99
Short Stories in French for Beginners by Olly Richards
$14.99
Credit and Trade in Later Medieval England, 1353-1532
$129.99
Betriebswirtschaftliche Kostenlehre
$84.99
Protestant Dublin, 1660-1760
$119.99
Transformationen der Arbeitsgesellschaft
$64.99
Applications of Fibonacci Numbers
$109.99
Fighting Campylobacter Infections
$159.99
Singularities of Robot Mechanisms
$129.99
Management of Prader-Willi Syndrome
$129.00
Ein Assistenzsystem fr die energetisch optimierte Lngsfhrung eines Elektrofahrzeugs
$54.99
A Collection of Stories for 5 Year Olds by Parragon Editor
$12.99
My Voice, My Story Collection Grades 3-5
$67.00
Hydrogen in Automotive Engineering
$79.99
Rationell schreiben!
$49.99
Preismanagement
$79.99
Deviant Conduct in World Politics
$109.99
Trace Gas Exchange in Forest Ecosystems
$169.99
Politische Legitimitt und politischer Raum im Wandel
$49.99
Ueber die staatswissenschaftliche Vorbildung zum hheren Verwaltungsdienst in Preussen
$44.99
Development of Innovative Drugs via Modeling with MATLAB
$219.99
Microalgae Biotechnology for Wastewater Treatment, Resource Recovery and Biofuels
$119.99
Handbuch Christian Wolff
$159.99
Adult Umbilical Reconstruction
$99.00
Knowledge Management in Electronic Government
$39.99
Brand Community Management
$69.99
