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 $76.50 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
|
|
$84.99 | $84.99 |
|
10% OFF
This deals requires coupon
|
$76.50 | See Site | In stock | Visit Store |
Product Details
This book constitutes the refereed proceedings of the 12th International Conference on Formal Engineering Methods, ICFEM 2010, held in Shanghai, China, November 2010. The 42 revised full papers together with 3 invited talks presented were carefullyreviewed and selected from 114 submissions. The papers address all current issuesin formal methods and their applications in software engineering. They areorganized in topical sections on theorem proving and decision procedures, webservices and workflow, verification, applications of formal methods, probabilityand concurrency, program analysis, model checking, object orientation and mod eldriven engineering, as well as specification and verification.
Reviews
Questions & Answers
Primates and Lagomorpha
$219.99
Recent Advances in System Reliability
$169.99
Wirtschaftswrterbuch / Diccionario econmico
$119.99
An Introduction to International Money and Finance
$109.99
Chemistry of the Textiles Industry
$169.00
Crystalline Metal Oxide Catalysts
$179.99
Cutting-Edge Business Technologies in the Big Data Era
$169.00
Control of Spatially Structured Random Processes and Random Fields with Applications
$109.99
Quality Attributes and Their Measurement in Meat, Poultry and Fish Products
$219.99
Flugzeugtriebwerke
$229.00
Transcendent Teacher Learner Relationships
$49.99
Bewegungsstrungen bei psychischen Erkrankungen
$69.99
Die ra der Datafizierung
$69.99
Practical Guide to Hereditary Breast and Ovarian Cancer
$84.99
Mitochondrial Medicine
$169.99
Educational Evaluation: Classic Works of Ralph W. Tyler
$169.99
Tiny T. Rex and the Impossible Hug
$5.21
Clinical Electrophysiology of the Somatosensory Cortex
$54.99
Marx fr SozialwissenschaftlerInnen
$34.99
China Green Development Index Report 2012
$129.00
Logic Synthesis for FPGA-Based Control Units
$109.99
Handbook of Clinical Rating Scales and Assessment in Psychiatry and Mental Health
$149.00
Internationalization of Industry
$39.99
Jahrbuch fr Handlungs- und Entscheidungstheorie
$44.99
Juana I
$129.99
Manual of Retinal Diseases
$199.00
Sicherheit und Betriebsfestigkeit von Maschinen und Anlagen
$89.99
City Development and Internationalization in China
$59.99
Atlas of Neoplastic Pulmonary Disease
$119.00
Benign Tumors of the Liver
$109.99
Dams in Brazil
$39.99
David Hilbert's Lectures on the Foundations of Physics 1915-1927
$199.99
Geschwisterkonstellation und psychische Fehlentwicklung
$49.99
Gesetze ber die Rechtsverhltnisse der Reichsbeamten
$59.99
Real, Mechanical, Experimental
$79.99
Citizens of Europe?
$54.99
Deep Learning for Biometrics
$199.99
Das Problem der Pathogenitt von Escherichia coli im Suglingsalter
$44.99
Explaining Games
$109.99
The DVD and the Study of Film
$54.99
