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
Liquid Crystalline Polymers
$129.00
Software Engineering for Resilient Systems
$54.99
Information Security of Intelligent Vehicles Communication
$79.99
Clinical Management of Urolithiasis
$109.99
Manual to Veterinary Video-Oto-Endoscopy
$69.99
Architecting Growth in the Digital Era
$44.99
Beyond Elder Law
$109.99
An Introduction to the Mathematical Theory of Inverse Problems
$49.99
Beyond Theism and Atheism: Heideggers Significance for Religious Thinking
$109.99
A Catalogue of Ecosystem Services in Slovakia
$129.00
Emerging Technologies for Education
$54.99
Construction Auditing
$99.99
7th International Conference on Advancements of Medicine and Health Care through Technology
$199.99
Technische Untersuchungsmethoden zur Betriebsberwachung
$59.99
Cadmium Interaction with Animal Cells
$169.99
Prison Discourse
$84.99
Musical Metropolis
$54.99
Gehirnkrankheiten
$59.99
Ivy and Bean: Take Care of the Babysitter
$4.46
The Law in Philosophical Perspectives
$169.99
Amerikanische Wirtschaftspolitik
$59.99
Physical Fluid Dynamics
$119.99
Pediatric Cytopathology
$84.99
Corpus-Assisted Translation Teaching
$89.00
Das Warten auf einen Heimplatz aus Sicht der Angehrigen
$69.99
The Impact of the Digital Consumer's Emotional Intelligence in Relation to the Moral Values Promoted
$54.99
Japan versus China in the Industrial Race
$54.99
Mdchenfreundschaften in der Adoleszenz
$64.99
Wendehorst Beispiele aus der Baupraxis
$34.99
Foundations of Classical Electrodynamics
$99.99
Group Decision and Negotiation: Theory, Empirical Evidence, and Application
$54.99
CSR und Energiewirtschaft
$44.99
Information and Control in Networks
$84.99
Grundkurs Theoretische Informatik
$64.99
Ethics in Computing
$39.99
Kommunikationswissenschaft als Integrationsdisziplin
$44.99
Integrating IoT and AI for Indoor Air Quality Assessment
$109.99
Progress in Landslide Research and Technology, Volume 2 Issue 2, 2023
$59.99
Industriebetriebslehre
$59.99
Low Level X Window Programming
$54.99
