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:
Buy Formal Methods and Software Engineering for $84.99 at @ Link.springer.com
No coupon is required — this is the standard retail price.
Set a price drop alert to never miss an offer.
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 |
|
$84.99 | 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
Politik diesseits der Macht?
$59.99
Einfhrung in die Rechtssoziologie
$37.99
Zur Didaktik des politischen Unterrichts
$29.99
Christianity in Oman
$49.99
Sensory Nerves and Neuropeptides in Gastroenterology
$219.99
Psychopharmakoendokrinologie und Depressionsforschung
$69.99
Practical Graph Structures in SQL Server and Azure SQL
$64.99
Psychobiology of Behaviour
$109.99
River Dynamics and Flood Hazards
$189.00
Surgery of the Sellar Region and Paranasal Sinuses
$129.00
Gemeinfaliche Belehrung ber die nach dem Viehseuchengesetze vom 26. Juni 1909 der Anzeigepflicht u
$59.99
Cellular Primary Immunodeficiencies
$249.99
E-Business. New Challenges and Opportunities for Digital-Enabled Intelligent Future
$139.99
Proceedings of the 8th European Congress of Neurosurgery Barcelona, September 611, 1987
$39.99
Physical and Mathematical Modeling of Earth and Environment Processes
$129.00
Assessing Headache Triggers
$59.99
Computer Music Modeling and Retrieval. Sense of Sounds
$109.00
Population Dynamics and Projection Methods
$109.99
Mit Controlling zum Projekterfolg
$39.99
Advances in Production Management Systems. Smart Manufacturing for Industry 4.0
$139.99
Handbook of Pediatric Autopsy Pathology
$189.00
Gestaltung von Verschmelzungsprodukten
$69.99
Gandhis Autobiographical Construction of Selfhood
$49.99
Theoretische Einsichten
$39.99
Aspekte der internationalen konomie/Aspects of International Economics
$84.99
Property-Rights-Strukturen im Konzern
$44.99
First Transitions to Early Childhood Education and Care
$109.99
Digital Telephony and Network Integration
$169.99
On Civilizing Capitalism
$109.00
Impact of Public Policy Measures on the German Real Estate Market
$54.99
European Energy Policies in a Changing Environment
$54.99
Crew Resource Management fr Fhrungskrfte im Gesundheitswesen
$34.99
Umweltpolitische Instrumente und Abfallwirtschaftsrecht
$59.99
Concepts and Practice of Humanitarian Medicine
$69.99
Functional Meat Products
$199.99
Photopolymerisation and Photoimaging Science and Technology
$84.99
Performance Testing
$69.99
Civil Society and Political Representation in Latin America (2010-2015)
$129.99
Meteorology for Coastal Scientists
$79.99
Cancer Stem Cell Markers and Related Network Pathways
$139.99
