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 14th International Conference on Formal Engineering Methods, ICFEM 2012, held in Kyoto, Japan, November 2012. The 31 revised full papers together with 3 invited talks presented were carefully reviewed and selected from 85 submissions. The papers address all current issues in formal methods and their applications in software engineering. They are organized in topical sections on concurrency, applications of formal methods to new areas, quantity and probability, formal verification, modeling and development methodology, temporal logics, abstraction and refinement, tools, as well as testing and runtime verification.
Reviews
Questions & Answers
Flssigkeitsgetriebe bei Werkzeugmaschinen
$44.99
Nursery Rearing of Nonhuman Primates in the 21st Century
$219.99
Organisational Change Management for Sustainability
$139.99
ICT and Society
$109.99
Applications of Industrial Mathematics
$199.99
Nuclei Far from Stability and Astrophysics
$109.99
Kidney Cancer
$129.00
An Introduction to KMS Weights
$69.99
Prozessorientiertes Bauprojektmanagement
$49.99
TMS 2020 149th Annual Meeting & Exhibition Supplemental Proceedings
$219.99
Utopia in Practice
$129.99
The Ecological Bases for Lake and Reservoir Management
$219.99
Evolutionsbiologie
$49.99
Advances in Thermal Science and Energy
$219.99
Migrating to Swift from Flash and ActionScript
$39.99
Advances in Fuzzy Logic and Technology 2017
$169.00
Negotiating Trade Liberalization at the WTO
$39.99
Harmonic Analysis on Symmetric SpacesHigher Rank Spaces, Positive Definite Matrix Space and General
$49.99
Kernkompetenzen als Basis der strategischen und organisationalen Unternehmensentwicklung
$64.99
40 Jahre Kardiologie an den Universittskliniken des Saarlandes/Homburg 1959 1999
$59.99
Rotator Cuff Across the Life Span
$179.99
Where the Red Fern Grows
$6.74
I'm Not Scary
$5.99
Safety and Efficacy of Gene-Based Therapeutics for Inherited Disorders
$169.99
Handbook of Terrestrial Heat-Flow Density Determination
$169.00
Residue Reviews / Rckstands-Berichte
$39.99
Study on Climate Change in Southwestern China
$39.99
Understanding the Artificial: On the Future Shape of Artificial Intelligence
$89.99
Agile Swift
$32.99
Scalar and Vector Risk in the General Framework of Portfolio Theory
$109.00
Malaria
$24.99
Introduction to Unity ML-Agents
$37.99
Knowledge and Explanation in History
$19.99
Sicherheit in Netzen und Medienstrmen
$69.99
Learning to Read and Write in One Elementary School
$109.99
Diophantine Approximation and Abelian Varieties
$44.99
Middleware 2010
$39.99
Medical Image Computing and Computer Assisted Intervention MICCAI 2023
$84.99
Probleme Aus Der Physik
$69.99
Hamiltonian Partial Differential Equations and Applications
$54.99
