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 |
|
$84.99 | See Site | In stock | Visit Store |
Reviews
Questions & Answers
Sequential and Parallel Algorithms and Data Structures
$39.99
Der Seefrachtenmarkt
$59.99
Region-Building in Africa
$54.99
Datenbankverwaltung auf dem PC
$69.99
A Study into Financial Globalization, Economic Growth and (In)Equality
$59.99
MR Cholangiopancreatography
$169.00
Nuclear and Particle Physics
$69.99
Film als Marktleistung
$44.99
Global Stability through Decentralization?
$109.99
Botanical Journeys into the Western Australian Deserts
$199.99
Myelodysplastic Syndromes
$139.00
Smart and Sustainable Planning for Cities and Regions
$129.00
Olaf Kind ohne Sprache
$49.99
Critical Analyses of Educational Reforms in an Era of Transnational Governance
$89.00
Htte
$79.99
Lectures on Schumpeterian Economics
$109.99
Robust Methods and Asymptotic Theory in Nonlinear Econometrics
$54.99
Contemporary Prime Ministerial Leadership in Britain and Japan
$65.00
A Dictionary of Hallucinations
$219.00
Intraoperative Ultrasound (IOUS) in Neurosurgery
$99.99
Bildungsinvestitionen und bildungspolitische Manahmen im Spannungsfeld von Gerechtigkeit und Effizi
$69.99
Globalization, Agriculture and Food in the Caribbean
$89.00
Ethical Rationalism and Secularisation in the British Enlightenment
$129.99
Lactic Acid Bacteria
$169.00
The Chemistry of Matter Waves
$109.99
Privacy Technologies and Policy
$54.99
HTML and the Art of Authoring for the World Wide Web
$169.99
The Paleogene and Neogene of Western Iberia (Portugal)
$54.99
Unconventional Diplomacy in Southern Africa
$54.99
Art and the Challenge of Markets Volume 2
$129.99
Real Functions - Current Topics
$44.99
Root Hairs
$84.99
Biologic Effects of Light 2001
$129.00
Die Ausbildung in der Industrie nach der Check-Liste der Industrie- und Handelskammern
$69.99
Untersuchungen ber die Anatomie und Wasserkologie Einiger Ostseestrandpflanzen
$54.99
Computergrafik und Bildverarbeitung
$54.99
Social Media fr Fhrungskrfte
$59.99
Campus Cinephilia in Neoliberal South Korea
$119.99
From Antarctica to Outer Space
$109.99
My Moms Love Me
$3.00
