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 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
Youth Practices in Digital Arts and New Media: Learning in Formal and Informal Settings
$64.99
The Science and Engineering of Mechanical Shock
$159.99
Hoher Blutdruck
$14.99
Mathematical Optimization Theory and Operations Research
$54.99
Studien zur Struktur des Bewusstseins
$179.99
Zuwanderung im Zeichen der Globalisierung
$34.99
ICT Development for Social and Rural Connectedness
$39.95
Correlation and Autofluorescence Microscopy in Forensics Medicine: Time of Death Detection Using Pol
$39.99
John Reed And The Russian Revolution
$59.99
Zisterzienser
$129.99
Models and Inferences in Science
$109.99
Tests and Proofs
$54.99
Organic Mental Disease
$84.99
Code Generation Concepts, Tools, Techniques
$54.99
Asset Intelligence through Integration and Interoperability and Contemporary Vibration Engineering T
$169.00
kologieorientierte Fhrung multinationaler Unternehmen in Entwicklungslndern
$49.99
Intelligent Systems and Applications
$149.00
Private Equity in Emerging Markets
$84.99
Mit Bewegung und Geselligkeit Demenz vorbeugen
$24.99
Integrating Human Capital with Human Development
$109.99
Developmental Endocrinology
$89.00
Stoff- und Formleichtbau
$29.99
Digital Human Modeling and Applications in Health, Safety, Ergonomics and Risk Management
$109.99
Nineteenth-Century Individualism and the Market Economy
$129.99
Coleridge and the Nature of Imagination
$54.99
Husserl's Logical Investigations
$109.99
My Books Summer Spanish Grade 2 Nonfiction - Classroom Set
$795.00
Scrum Einfhrung in der Unternehmenspraxis
$49.99
Technische Mechanik 1. Stereostatik
$19.99
Sheaf Theory
$89.99
Governance of Climate Responsive Cities
$139.99
Complexity, Cognition, Urban Planning and Design
$169.00
Theatre and Residual Culture
$54.99
PPS in Formereien
$59.99
Modellbasierte Untersuchung der CO2-Abscheidung aus Kraftwerksabgasen
$59.99
Design by Composition for Rapid Prototyping
$84.99
Dimensionen von Destandardisierung
$49.99
Untersuchung von Ellipsoidformen zwecks Widerstandsverminderung von Flachwasserschiffen
$59.99
The Judicial Application of Law
$379.99
Perfumes
$69.99
