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
Ionisierende Strahlen in der Augenheilkunde
$49.99
Natural Language Processing of Semitic Languages
$89.00
Die amerikanischen Parteien
$44.99
Quantitative Untersuchungen ber die Entwicklung des Ehrlich-Ascitestumors bei Inzuchtmusen
$59.99
Descriptive Complexity
$129.99
African Masculinities
$84.99
Topics in Calculus of Variations
$29.99
Dynamic Flexible Constraint Satisfaction and its Application to AI Planning
$84.99
Strategy for Action I
$39.99
Cardiovascular Disease in the Elderly
$169.00
Cherlins Conjecture for Finite Primitive Binary Permutation Groups
$59.99
The Holocaust Bystander in Polish Culture, 1942-2015
$139.99
Religion, Migration and Business
$54.99
Kurzes Lehrbuch der Frauenkrankheiten
$49.99
Extensional Gdel Functional Interpretation
$29.99
Politische Geschichte der Gegenwart
$59.99
Strong Interactions in Low Dimensions
$129.00
The Ontology of the Middle Way
$219.99
Practice and Theory of Automated Timetabling IV
$54.99
Myocarditis
$139.99
Handbuch zur Kinder- und Jugendliteratur. Von 1800 bis 1850
$199.99
Artificial Intelligence for Neuroscience and Emotional Systems
$129.00
The Social Construction of Social Policy
$39.99
The Swastika's Darkening Shadow
$54.99
Politics of Social Change in Ghana
$89.00
Development of Procedures and Technical Manuals for the Marine and Offshore Industries
$19.99
Molekularmedizinische Grundlagen von hereditren Tumorerkrankungen
$64.99
Japanese Studies in the Philosophy of Science
$84.99
Bronzeville Boys and Girls
$5.96
Human Missions to Outer Space (A True Book: Space Exploration)
$5.99
Microbiology of Tropical Soils and Plant Productivity
$39.99
Marginalisierung, Stadt und Soziale Arbeit
$49.99
Real-Time Object Uniform Design Methodology with UML
$169.99
Globalisation and Leadership in Africa
$44.99
Elektrische Triebfahrzeuge. Ein Handbuch fr die Praxis sowie fr Studierende
$139.00
Medienpoesie
$39.99
Latine Psychology Beyond Colonialism
$139.99
Wine Folly: The Essential Guide to Wine by Madeline Puckette
$25.00
Teacher Success Kit Grade 5: Tier 1
$610.97
Cerebral Ischemia and Calcium
$109.99
