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
Too Cool for School
$4.46
Protein Function Prediction
$119.00
Adhesion in Leukocyte Homing and Differentiation
$109.99
Safety and Security in Multiagent Systems
$54.99
Teaching and Learning Stochastics
$199.99
Pedagogy, Empathy and Praxis
$59.99
The Boltzmann Equation and Its Applications
$219.99
Business in a Virtual World
$54.99
Bibliographie der Sowjetischen Philosophie
$44.99
Advanced Studies in Efficient Environmental Design and City Planning
$279.99
CASCOM: Intelligent Service Coordination in the Semantic Web
$54.99
AIP Physics Desk Reference
$219.99
Dictionary Learning in Visual Computing
$54.99
Chemische Produkte und Prozesse
$44.99
Physik der Duroplaste und anderer Polymerer
$39.99
Samsung Galaxy Application Sketch Book
$14.99
Machine Learning for Smart Environments/Cities
$199.99
Biliary Tract and Gallbladder Cancer
$169.99
Kidnapping and Violence
$129.99
Praxishandbuch Facility Management
$89.99
Madness in Fiction
$54.99
Die proximal-selektive Vagotomie in der Behandlung der gastroduodenalen Ulkuskrankheit
$69.99
Altern in der Landwirtschaft als gesellschaftliche Herausforderung
$74.99
Lehrbuch der inneren Medizin
$89.99
Metalepse im Werk von Gnter Grass
$59.99
Arterial Chemoreceptors
$39.99
Place, Writing, and Voice in Oral History
$39.99
Me- und Prfverfahren Betriebsverhalten von Reibungssystemen Eigenschaften von Motorenlen
$84.99
Risk, Information and Insurance
$109.99
Theoretical Aspects of Computing ICTAC 2014
$54.99
Dynamic Meteorology: Data Assimilation Methods
$109.99
Heterogene Netze und Supercomputer
$69.99
Feedback Circuits and Op. Amps
$54.99
Equipment as a Service-Modelle im B2B-Geschft
$64.99
Understanding German Real Estate Markets
$109.99
New Taxonomy for Corporate Open Innovation Initiatives
$54.99
and Age-Related Changes in Tree Structure and Function
$299.99
Contemporary Tools and Techniques for Studying Writing
$109.99
Digital Technologies and Applications
$299.99
PGL2 over the p-adics. Its Representations, Spherical Functions, and Fourier Analysis
$34.99
