Copied Formal Methods and Software Engineering
Formal Methods and Software Engineering
This book constitutes the refereed proceedings of the 18th International Conference on Formal Engineering Methods, ICFEM 2016, held in Tokyo, Japan, in November 2016. The 27 revised full papers presented together with three invited talks were carefully reviewed and selected from 64 submissions. The conference focuses in all areas related to formal engineering meth-ods, 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 |
|
$39.99 | See Site | In stock | Visit Store |
Reviews
Questions & Answers
Theories of Programming and Formal Methods
$79.99
The Mesophase Concept in Composites
$109.99
Mittleres Management
$59.99
Anatomy of Cranial Arteries, Embryology and Variants
$179.99
Porphyrine und Porphyrinkrankheiten
$59.99
Seismicity of the European Area
$219.99
The radiation regime and architecture of plant stands
$179.99
Political Economy
$109.99
Drivers of Energy Transition
$119.99
The Hidden Power of Smell
$37.99
Pseudo-Populations
$54.99
Terroristische Diktaturen im 20. Jahrhundert
$59.99
Introduction to Statistical Methods in Pathology
$79.99
Chassis und Achsen
$24.99
Die Akute Entzndung
$99.99
Electronic Communication in Heterometallated Porphyrin Oligomers
$109.99
Music and Public Health
$179.99
Monetary Conditions for Economic Recovery
$39.99
Toxin-Induced Models of Neurological Disorders
$109.99
Four Pillars Grade 2
$645.00
Makrochemische Untersuchungen ber das Vorkommen von Chitin bei Mikroorganismen
$54.99
Ready-To-Go 2 25 Book Classroom Library: Favorites, Grade 4
$145.00
Biotechnology of Ectomycorrhizae
$39.99
D.H. Lawrence, Travel and Cultural Difference
$54.99
The Fate of Persistent Organic Pollutants in the North Sea
$109.99
Advances in Partial Differential Equations and Control
$199.99
Distributed Machine Learning with PySpark
$49.99
Molecular Diagnostics in Cancer Patients
$84.99
Antimicrobial Stewardship in Non-Traditional Settings
$119.99
Lectures on Visco-Plastic Fluid Mechanics
$169.99
Model Theoretic Algebra
$39.99
Forensic Neuropathology and Associated Neurology
$299.00
Stochastische Personalplanungen
$69.99
Time and the Earths Rotation
$54.99
Abwasserkonzepte
$49.99
Job Scheduling Strategies for Parallel Processing
$54.99
Proceedings of DINAME 2017
$169.00
Geometry
$84.99
Alternativen der Forschungs- und Entwicklungspolitik eines Unternehmens
$49.99
The Role of Moral Reasoning on Socioscientific Issues and Discourse in Science Education
$109.99
