Copied Formal Methods for Industrial Applications
Formal Methods for Industrial Applications
This book, with the CD-ROM included, is the documentation of a unique collaborative effort in evaluating formal methods for usage under industrial constraints: the major techniques for formally supported specification, design, and verification of large programs and complex systems are applied to a non-trivial and non-academic problem which is typical for industrial informal requirements specifications. The 21 papers included in the book, together with an introduction and competition report, were selected from 33 candidate solutions. This book comes with a CD-ROM containing, besides the printed papers, executable code, full definitions of all parts of the specifications, and detailed descriptions of foundational matters where appropriate.
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 |
|
$76.50 | See Site | In stock | Visit Store |
Reviews
Questions & Answers
Britain and European Monetary Cooperation, 1964-1979
$84.99
Duplex Sonography
$84.99
Dental Science for the Medical Professional
$169.00
Actuarial Sciences and Quantitative Finance
$109.99
Proceedings of International Conference on Recent Innovations in Computing
$299.99
Bile Acids: Biological Actions and Clinical Relevance
$219.99
Physical Models and Equilibrium Methods in Programming and Economics
$54.99
Excel 2010 for Human Resource Management Statistics
$54.99
Biosensors with Fiberoptics
$84.99
Dmonen unterm Roten Stern
$39.99
Freshwater and Marine Ecology
$109.99
Saving Wonder
$5.96
Introduction to Affine Group Schemes
$99.99
The MindUP Curriculum: Grades 3-5
$18.74
Floating Structures
$199.99
Beneath (Hardcover)
$12.74
Employment in the Informal Sector in India
$119.99
Influencer Relations
$59.99
Phenolic Antioxidants in Foods: Chemistry, Biochemistry and Analysis
$139.99
Internet of Vehicles. Technologies and Services Toward Smart Cities
$54.99
Prfe Dich selbst im kaufmnnischen Rechnen
$59.99
Advanced Intelligent Computing Theories and Applications - With Aspects of Theoretical and Methodolo
$129.00
Discrete Stochastics
$39.99
Historia de una gaviota y del gato que le ense a volar
$5.96
Carlemans Formulas in Complex Analysis
$54.99
EU Internet Law
$249.99
Rousseaus Economic Philosophy
$84.99
Combined Modality Therapy of Gastrointestinal Tract Cancer
$84.99
Gewalt als soziales Problem in Schulen
$59.99
Effective Theories in Physics
$59.99
Exoskeletons in Rehabilitation Robotics
$84.99
Mechanobiology
$249.99
Zusammensetzung und Verdaulichkeit der Futtermittel. Nach vorhandenen Analysen und Untersuchungen zu
$59.99
Dynamik realer Gase
$259.00
Wohnungen fr Flchtlinge
$17.99
Management Controlling and Governance of Family Businesses
$109.99
The Marvel Age of Comics 19611978 Book 40th Ed. Official shopDisney
$30.00
Collagen Mimetic Peptides and Their Biophysical Characterization
$159.99
Formal Methods and Software Engineering
$84.99
Advancing Gene Fusion Detection Towards Personalized Cancer Nanodiagnostics
$109.99
