Copied Formal Methods and Software Engineering
Formal Methods and Software Engineering
This book constitutes the refereed proceedings of the 19th International Conference on Formal Engineering Methods, ICFEM 2017, held in Xi'an, China, in November 2017. The 28 revised full papers presented together with one invited talk and two abstracts of invited talks were carefully reviewed and selected from 80 submissions. The conference focuses on all areas related to formal engineering methods, such as verication and validation, software engineering, formal specication and modeling, software security, and software reliability.
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 |
|
$36.00 | See Site | In stock | Visit Store |
Reviews
Questions & Answers
Neural Information Processing
$99.99
Sjgrens Syndrome and the Salivary Glands
$99.99
CFD Techniques and Energy Applications
$84.99
My Brother Sam Is Dead
$6.74
Wettbewerbsfhigkeit europischer Messeveranstalter
$39.99
Proceedings of the International Conference on Radioscience, Equatorial Atmospheric Science and Envi
$249.99
Magnetoelectronics of Microwaves and Extremely High Frequencies in Ferrite Films
$109.99
Concrete Structures: New Trends and Old Pathologies
$129.00
Sportpsychologie
$44.99
The Gender Politics of Contemporary Performance in Northern Ireland
$119.99
Trade Policy between Law, Diplomacy and Scholarship
$109.99
South Asian Diaspora Narratives
$54.99
Radioaktive Leuchtfarben
$59.99
Proceedings of the Third GAMM Conference on Numerical Methods in Fluid Mechanics
$59.99
Cosmos and Character in Paradise Lost
$54.99
Philosophical Investigations into the Essence of Pediatric Suffering
$59.99
And in Length of Days Understanding (Job 12:12)
$449.99
Production and Utilization of Lignocellulosics
$329.99
Experiential Learning in Geography
$169.99
Knowledge Discovery, Knowledge Engineering and Knowledge Management
$54.99
Analytics, Machine Learning, and Artificial Intelligence
$79.99
Generalregister fr die Verhandlungen des 44.69. Kongresses (19321963)
$59.99
Nonlinear Mathematics for Uncertainty and its Applications
$329.99
Remote Sensing of Plant Biodiversity
$59.99
Nostalgia Marketing
$49.99
Evolution Equations Arising in the Modelling of Life Sciences
$54.99
Die Dampfkessel
$84.99
Analysis of Seawater
$329.99
Berechnen und Entwerfen der Schweikonstruktionen
$59.99
Transport in British Fiction
$109.99
Barockmusikfhrer
$89.99
The Correspondence of Henry James and the House of Macmillan, 18771914
$39.99
Die Rechenmaschinen und das Maschinenrechnen
$59.99
Temperaturmessung in Glimmentladungen
$59.99
Probability for Applications
$54.99
Plant Invaders
$54.99
Property-Rights-Strukturen im Konzern
$44.99
Animating Calculus
$99.00
Distributed Manufacturing
$84.99
Vermessung der Seeschiffe
$59.99
