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
Steuernderungen 1961/62
$54.99
Modeling and Stochastic Learning for Forecasting in High Dimensions
$169.99
Proceedings of Sixth International Congress on Information and Communication Technology
$249.99
The History of Chinese Legal Civilization
$129.00
National Geographic Kids Readers: Hoot, Owl!
$3.71
Deutsche Europapolitik von Konrad Adenauer bis Gerhard Schrder
$59.99
Seminar on Complex Multiplication
$29.99
Urban Enlightenment and the Eighteenth-Century Periodical Essay
$54.99
Mainstreaming Islam in Indonesia
$63.00
Critical Management Research in Eastern Europe
$109.99
Deep Reinforcement Learning
$54.99
Typed Lambda Calculi and Applications
$39.99
Typisch Social Entrepreneurship
$49.99
Advancements and Innovations in OMFS, ENT, and Facial Plastic Surgery
$159.99
Transactions on Computational Systems Biology IV
$54.99
Vermgensbestand und Kapitalbedarf in einigen Zweigen der Textilindustrie
$59.99
Kultursoziologie im 21. Jahrhundert
$39.99
The History of Consumer Credit
$84.99
International Handbook of Research in Arts Education
$549.99
Optimization of Tuned Mass Dampers
$199.99
Global Gravity Field and Its Temporal Variations
$109.99
Social Capital and Health Inequality in European Welfare States
$54.99
Booker T. Washington and the Struggle against White Supremacy
$54.99
Coating Materials
$99.00
Graph-Based Representations in Pattern Recognition
$54.99
Implementierung innovativer Dienstleistungsmarken
$59.99
Integrating Population Outcomes, Biological Mechanisms and Research Methods in the Study of Human Mi
$169.99
Apolipoproteins in Lipid Disorders
$54.99
Language, Power, and the Economics of Education in Morocco
$159.99
Analytical Finance: Volume II
$99.99
Untersuchungen ber die Verdichtungswirkung von Tauchrttlern
$59.99
Grundlinien der Antiken Rechts- und Staatsphilosophie
$49.99
Peptide Growth Factors and Their Receptors I
$39.99
First Philosophy
$179.99
Protein Structure and Protein Engineering
$109.99
Internet of Things and Big Data Applications
$199.99
Real-Time Object Measurement and Classification
$109.99
Der Aufbau der Eisen- und eisenverarbeitenden Industrie-Konzerne Deutschlands
$44.99
Commonwealth Literature
$99.00
Conformal Geometry and Quasiregular Mappings
$54.99
