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
Microbial Infections
$39.99
Implementierung von schichtadditiven Fertigungsverfahren
$69.99
Analog Filters
$39.99
Transport Processes in Porous Media
$109.99
Some Applications of Weighted Sobolev Spaces
$49.99
Nonlinear Optics: Materials and Devices
$109.99
Micro-Nanorobotic Manipulation Systems and Their Applications
$109.00
MRI of the Lung
$119.00
American Television on British Screens
$54.99
Health Care 2010
$54.99
Computer Analysis of Images and Patterns
$54.99
To Get Rich is Glorious!
$109.99
Mobile Gaming in Asia
$54.99
Last Night at the Telegraph Club (National Book Award Winner) by Malinda Lo
$12.99
Computational Noncommutative Algebra and Applications
$109.99
Chances and Risks in Construction Management and Economics
$179.99
Sex Hormones and Immunity to Infection
$279.99
Thanksgiving Grades 1-2 Printable Packet
$6.49
The Political Empowerment of the Cocaleros of Bolivia and Peru
$54.99
A Fractured Landscape of Modernity
$54.99
Recent Advances in Robot Learning
$169.99
Genetics of Immunological Diseases
$39.99
Technologie der Holzverkohlung und der Fabrikation von Essigsure, Aceton, Methylalkohol und sonstig
$84.99
Kriterien zur Optimierung des Baues von Gronaturzugkhltrmen im Hinblick auf Standsicherheit, Baua
$59.99
Entomology
$169.99
Phosphate Metabolism
$39.99
Drug Discovery and Development
$189.00
Excitations in Two-Dimensional and Three-Dimensional Quantum Fluids
$109.99
Landmarking and Segmentation of 3D CT Images
$29.99
Geospatial Technologies for Land and Water Resources Management
$179.99
The Go-To-Guide for Classroom Management
$18.74
Strategies of Cancer Prevention in Gastroenterology
$219.99
Denkmal und Energie 2021
$54.99
Abandonment as a Social Fact
$64.99
Locating Urban Conflicts
$99.00
Rivers of Sunlight (Hardcover)
$14.99
Bakhtinian Explorations of Indian Culture
$109.99
Das Allgemeine und das Besondere
$49.99
Speciation of Metals in Water, Sediment and Soil Systems
$39.99
Information and Knowledge Systems. Digital Technologies, Artificial Intelligence and Decision Making
$39.99
