Copied Formal Methods and Software Engineering
Formal Methods and Software Engineering
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.
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 |
Reviews
Questions & Answers
Lakes of the World with Google Earth
$199.99
Instructional Design for Learning
$39.99
Disaster Risk Reduction
$119.00
Novel NMR and EPR Techniques
$39.99
Private Equity Investments
$54.99
Heroic Revivals from Carlyle to Yeats
$39.99
Literature 1981, Part 2
$54.99
3D-CAD mit Inventor 2009
$29.99
Terror and the Sublime in Art and Critical Theory
$54.99
Kulturindustrie: Theoretische und empirische Annherungen an einen populren Begriff
$59.99
Conceptualizing Cultural Hybridization
$109.99
GABAB Receptor
$129.00
Einfhrung in die Geodynamik der Lithosphre
$49.99
Electronic Participation
$39.99
Molecular Ecology and Conservation Genetics of Neotropical Mammals
$139.00
Feeling Gender
$31.00
Modern Issues in Non-Saturated Soils
$99.00
Minimalinvasive Viszeralchirurgie
$139.99
Analysis and Interpretation in the Exact Sciences
$109.99
Quantitatives Risikomanagement in Banken
$59.99
Atom, Molecule, and Cluster Beams I
$169.99
Congenital Heart Defects
$39.99
Handbuch zur Bilanzierung von Biogasanlagen fr Ingenieure Band I
$89.99
Otherness and Identity in the Gospel of John
$99.00
Principles of Public Policy Practice
$84.99
Digitale Mobilfunksysteme
$39.99
Evolution and Diversity of Sex Ratio in Insects and Mites
$329.99
Transforming Assessment in Education
$139.99
The Mechanosensory Lateral Line
$84.99
Advances in Non-Invasive Biomedical Signal Sensing and Processing with Machine Learning
$199.99
Ancient Glass of South Asia
$169.99
Streetball
$59.99
The Centenary of the Irish Free State Constitution
$109.00
Health Care Systems Engineering
$129.00
Tales of Discovery
$37.99
There Was an Old Lady: There Was An Old Scientist Who Swallowed a Dinosaur! (Hardcover)
$6.74
Safety and efficacy of radiopharmaceuticals
$39.99
Big Panda and Tiny Dragon by James Norbury
$19.99
Dictionary of Global Climate Change
$39.99
Der Einsatz von Methoden in Produktentwicklungsprojekten
$99.99
