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 13th International Conference on Formal Engineering Methods, ICFEM 2011, held in Durham, UK, October 2011. The 40 revised full papers together with 3 invited talks presented were carefully reviewed and selected from 103 submissions. The papers address all current issues in formal methods and their applications in software engineering. They are organized in topical sections on formal models; model checking and probability; specification and development; security; formal verification; cyber physical systems; event-B; verification, analysis and testing; refinement; as well as theorem proving and rewriting.
Reviews
Questions & Answers
Winning the White House, 2008
$54.99
MacMath 9.0
$69.99
Europe and National Economic Transformation
$54.99
Learning and Geometry: Computational Approaches
$109.99
Altern in der Erwerbsarbeit
$59.99
Project Management Under Internet Era
$109.99
Electroanalysis in Biomedical and Pharmaceutical Sciences
$109.99
SQL Server 2022 Revealed
$54.99
Skin Permeation and Disposition of Therapeutic and Cosmeceutical Compounds
$279.99
Pflanzenbiochemie
$84.99
Festschrift for Lucien Le Cam
$84.99
Indien: Wirtschaft, Verfassung, Politik
$74.99
Poverty Among Immigrant Children in Europe
$109.99
Obstetric Anesthesia for Co-morbid Conditions
$84.99
Fifth International Visual Field Symposium
$39.99
Geospatial Practices in Natural Resources Management
$159.99
Land Use Simulation for Europe
$129.00
My Adventures as an Illustrator: The Definitive Edition by Norman Rockwell
$40.00
Fundamental and Applied Nano-Electromagnetics II
$109.99
Management-Andragogik 1
$39.99
Alternative Life-History Styles of Animals
$329.99
Applications of Organic and Printed Electronics
$109.99
The Chemistry of Mycotoxins
$259.00
Russia, Eurasia and the New Geopolitics of Energy
$39.99
Essays in Structural Chemistry
$39.99
Introduction to Algebraic Topology
$49.99
Elliptic Functions
$119.99
Democratic Socialism and Education: New Perspectives on Policy and Practice
$39.99
Einflu der hheren Vorgarndrehung geflyerter Lunten auf die Ungleichmigkeit und die dynamometrisc
$54.99
The Good Entrepreneur
$54.99
From Digital Twins to Digital Selves and Beyond
$49.99
Trends and Applications in Knowledge Discovery and Data Mining
$54.99
Image Analysis
$54.99
Normal Prices, Technical Change and Accumulation
$159.00
Ressourcenmanagement in Militrorganisationen
$17.99
Expect the Most - Provide the Best
$18.74
Biographisches Wissen von Lehrerinnen und Lehrern
$59.99
Das "Gesellschaftlich-Komische"
$59.99
British Politics and European Elections 2004
$54.99
Hilbert Spaces and Operator Theory
$109.99
