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
Multiplan 3.0
$59.99
Arbeitsperspektiven angewandter Sozialwissenschaft
$69.99
Human-Computer Interaction. Interaction Platforms and Techniques
$54.99
The Statesman's Year-Book 1969-70
$99.00
Marshall and the Marshallian Heritage
$159.99
BUiD Doctoral Research Conference 2022
$59.99
Understanding Sex and Relationship Education, Youth and Class
$109.99
Histopathology of Blistering Diseases
$84.99
Mathematik fr Fachschulen Technik
$49.99
Einleitung in die Philosophie. Vorlesungen 19161920
$159.99
Certified OpenStack Administrator Study Guide
$24.99
Guide to Psychoanalytic Developmental Theories
$199.99
Testing and Characterisation of Earth-based Building Materials and Elements
$139.99
The Bush Administrations and Saddam Hussein
$54.99
Bodies of Constant Width
$79.99
Cuentos Fonticos (Spanish Phonics Readers): El fuego y el Sol
$3.71
A Comprehensible Universe
$79.99
Stochastic Approximation Methods for Constrained and Unconstrained Systems
$54.99
Die Vergleichsgebhr
$39.99
Beginning Digital Image Processing
$19.99
Geometry by Its History
$99.99
Marine Hard Bottom Communities
$279.99
User-Centred Requirements Engineering
$54.99
Handbuch Europarecht
$179.00
The Philosophical Legacy of Behaviorism
$109.99
TNF-alpha Inhibitors
$109.99
Combinatorial Pattern Matching
$54.99
The Ecology of Regulated Streams
$54.99
Nanomaterials and Plant Potential
$84.99
Modellierung gesetzlicher Rahmenbedingungen fr Verwaltungsprozesse aus dem E-Government
$74.99
AI-generated Content
$84.99
Logische und Methodische Grundlagen der Entwicklung verteilter Systeme
$34.99
The Contemporary German Navy as an Instrument of Foreign Policy
$99.99
Wirtschaftsschutz in der Praxis
$59.99
Modulation of Presynaptic Calcium Channels
$169.99
Stabilization, Safety, and Security of Distributed Systems
$54.99
Roadblocks to the Socialist Modernization Path and Transition
$49.99
Scale Computations in Air Pollution Modelling
$54.99
Conceptual Modeling for Novel Application Domains
$54.99
Handbuch Visuelle Kommunikationsforschung
$139.99
