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 14th International Conference on Formal Engineering Methods, ICFEM 2012, held in Kyoto, Japan, November 2012. The 31 revised full papers together with 3 invited talks presented were carefully reviewed and selected from 85 submissions. The papers address all current issues in formal methods and their applications in software engineering. They are organized in topical sections on concurrency, applications of formal methods to new areas, quantity and probability, formal verification, modeling and development methodology, temporal logics, abstraction and refinement, tools, as well as testing and runtime verification.
Reviews
Questions & Answers
Investigation and Management of Disease in Wild Animals
$74.99
Diapause in Aquatic Invertebrates
$129.00
Advances in Reliability and System Engineering
$109.99
Chembiomolecular Science
$169.00
Der Neorealismus in der internationalen Politik
$59.99
Smart Morphing and Sensing for Aeronautical Configurations
$199.99
Broadcast Design in Cognitive Radio Ad Hoc Networks
$54.99
Pragmatic Inquiry and Religious Communities
$89.99
Modernity, Nation and Urban-Architectural Form
$109.99
Beginning Google Sketchup for 3D Printing
$44.99
Latin American Dendroecology
$169.99
Good BASIC Programming with the B. B. C. Microcomputer
$14.99
Structure and Properties of Oriented Polymers
$299.99
Impedanzuntersuchungen an breitbandigen abgeschirmten Spiralenschlitzantennen im dm/cm-Wellenbereich
$59.99
The Pathology of Devices
$109.99
Immunity in Invertebrates
$129.00
Advanced Data Mining and Applications
$54.99
The Seismic Design Handbook
$219.99
Handbuch zur Geschichte der Konfliktlsung in Europa
$379.99
Stochastic Differential Systems
$39.99
General Relativistic and Post-Newtonian Dynamics for Near-Earth Objects and Solar System Bodies
$139.00
Studien zur Lehre von der Blutgerinnung
$54.99
Regional Culture and Social Change
$139.99
Keynes, Cambridge and the General Theory
$169.99
Die Praxis der Kreditgewhrung
$49.99
Genome and Genomics
$169.99
Machine Learning and Knowledge Discovery in Databases
$54.99
Alter und Prvention
$59.99
Field Guide fr Verhandlungsfhrer
$17.99
Constitutional History of Transylvania
$199.99
Flight
$15.99
Introduction to Geometrically Nonlinear Continuum Dislocation Theory
$54.99
Geometrie und Kunst in frherer Zeit
$44.99
Yearbook of International Humanitarian Law - 2008
$169.99
Excursions of Markov Processes
$79.99
Kerbempfindlichkeit thermoplastischer Kunststoffe abhngig von der Kerbform und der Beanspruchungste
$59.99
Unternehmen in der kologischen Diskussion
$69.99
Die Entstehung sozialer Normen
$59.99
Statistics and Data Analysis for Financial Engineering
$129.99
Principles of Data Security
$39.99
