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:
Buy Formal Methods and Software Engineering for $39.99 at @ Link.springer.com
No coupon is required — this is the standard retail price.
Set a price drop alert to never miss an offer.
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 |
|
$39.99 | See Site | In stock | Visit Store |
Product Details
This book constitutes the refereed proceedings of the 15th International Conference on Formal Engineering Methods, ICFEM 2013, held in Queenstown, New Zealand, in October/November 2013. The 28 revised full papers together with 2 keynote speeches presented were carefully reviewed and selected from 88 submissions. The topics covered are abstraction and refinement, formal specification and modeling, program analysis, software verification, formal methods for software safety, security, reliability and dependability, tool development, integration and experiments involving verified systems, formal methods used in certifying products under international standards, and formal model-based development and code generation.
Reviews
Questions & Answers
Knowledge Representation for Health Care
$44.99
Service Learning as Pedagogy in Early Childhood Education
$119.99
Reproductive Violence and International Criminal Law
$129.99
Dear Edward: A Novel by Ann Napolitano
$18.99
De-Mediatisierung
$34.99
Besser, nicht geboren zu sein?
$54.99
Bildmanipulation
$17.99
Computer Vision - ACCV 2014 Workshops
$39.99
Support Vector Machines Applications
$199.99
Progress in Ultrafast Intense Laser Science XIV
$109.99
Flash .NET
$54.99
Stabilization, Safety, and Security of Distributed Systems
$54.99
Virtuelle Fhrung
$34.99
Ergebnisse der Inneren Medizin und Kinderheilkunde
$59.99
Konzeption fr ein Sensor- und Steuerungssystem zur automatischen Fhrung eines Walzenschrmladers e
$69.99
Chemosensors of Ion and Molecule Recognition
$169.99
Middleware 2000
$39.99
Personalabbau in deutschen Unternehmen
$74.99
Cheesemaking Practice
$229.00
Practical Rubber Compounding and Processing
$219.99
Financial Institutions in Europe under New Competitive Conditions
$84.99
Die Wirkung von Gamification auf Motivation und Leistung
$69.99
Public Policy in ALS/MND Care
$119.99
Thermomechanics of Composite Structures under High Temperatures
$84.99
The Manager's Dilemma
$44.99
Data-Driven Scheduling of Semiconductor Manufacturing Systems
$179.99
Models, Methods and Tools for Product Service Design
$24.99
Informatik
$69.95
Private Enterprise-Led Economic Development in Sub-Saharan Africa
$109.99
Seawater Desalination
$169.99
Schnittanatomie des menschlichen Gehirns
$54.99
Fuball verbindet - durch Ausgrenzung
$49.99![The Bread Baker's Apprentice, 15th Anniversary Edition: Mastering the Art of Extraordinary Bread [A Baking Book] by Peter Reinhart](https://slimages.macysassets.com/is/image/MCY/products/9/optimized/22660389_fpx.tif?wid=1200&fmt=jpeg&qlt=100)
The Bread Baker's Apprentice, 15th Anniversary Edition: Mastering the Art of Extraordinary Bread [A Baking Book] by Peter Reinhart
$40.00
Value Determination of Supply Chain Initiatives
$39.99
Urban Climate Change Adaptation
$249.99
Vater Freud und die frhe psychoanalytische Bewegung
$69.99
Sensors for Everyday Life
$109.99
Die Verunreinigung der Gewsser, deren schdliche Folgen, nebst Mitteln zur Reinigung der Schmutzws
$39.99
Bilateral Communication Between the Endocrine and Immune Systems
$39.99
Enhancing Creativity Through Story-Telling
$54.99
