Apparel & Accessories 
Vehicles & Parts 
Toys & Games 
Sporting Goods 
Office Supplies 
Luggage & Bags 
Home & Garden 
Hardware 
Furniture 
Copied
Go to and paste the code at the checkout to enjoy
Formal Methods for Industrial Applications
Best Price:
Buy Formal Methods for Industrial Applications for $84.99 at @ Link.springer.com
No coupon is required — this is the standard retail price.
Set a price drop alert to never miss an offer.
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 |
Product Details
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.
Reviews
Questions & Answers
Cyber Security, Cryptology, and Machine Learning
$99.99
Human Microbes - The Power Within
$199.99
Informal Education in Eighteenth-Century Ireland
$119.00
Inequality and Organizational Practice
$159.99
Ausnahmebehandlung in objektorientierten Programmiersprachen
$59.99
Erfolgreiche Post-Merger-Integration bei ffentlichen Institutionen
$69.99
Observing Land from Space
$129.00
The Roeper School
$49.99
Monte Carlo and Quasi-Monte Carlo Methods
$189.00
Special Delivery
$4.46
From Literature to Cultural Literacy
$54.99
Comparative Economic Theory
$169.99
Zeta Functions of Groups and Rings
$59.99
STEM Teachers and Teaching in the Digital Era
$159.99
Kleine Erdbebenkunde
$39.99
Slope Stability and Erosion Control: Ecotechnological Solutions
$169.99
Introduction to Photonic and Phononic Crystals and Metamaterials
$49.99
Sequencing Grade K Differentiation Pack
$5.99
Elektronische Datenverarbeitung als Instrument der Unternehmensfhrung
$59.99
Pathobiochemie, Molekularbiologie und moderne Diagnostik kardiovaskulrer Erkrankungen
$59.99
Structural Health Monitoring Using Genetic Fuzzy Systems
$109.99
Modeling the Transmission and Prevention of Infectious Disease
$169.99
Elektronische Schaltungen 1
$59.99
Mechanisms of Polymer Degradation and Stabilisation
$219.99
Performance and the Global City
$54.99
Triangulation und Mixed-Methods
$49.99
Pseudodiaptomus batillipes spec. nov., ein zweiter Pseudodiaptomus aus Madagaskar
$54.99
The Flowchart Approach to Industrial Cluster Policy
$109.99
OTC-Marketingmanagement
$59.99
Brgergesellschaft, soziales Kapital und lokale Politik
$59.99
The Male Patient in Aesthetic Medicine
$179.99
The Politics of Hollywood Cinema
$54.99
Gebrde, Laut und graphisches Zeichen
$59.99
Hacking Europe
$84.99
Neural Information Processing
$39.99
Planung betrieblicher Transformationsprozesse
$59.99
Accessing Multilingual Information Repositories
$169.99
Commonwealth Migration
$44.99
Die Nutzung von Analogien im Innovationsprozess
$59.99
Corporate Style
$49.99
