Formal Methods for Industrial Applications Image close
Formal Methods for Industrial Applications
Formal Methods for Industrial Applications
Show Hide Adult Content
Formal Methods for Industrial Applications close

Business & Economics Books:

Home  
Books  
Business & Economics  
Industry Studies

Formal Methods for Industrial Applications

Specifying and Programming the Steam Boiler Control
Click to share your rating 0 ratings (0.0/5.0 average) Thanks for your vote!

Format:

Paperback / softback
$265.99
Available from supplier

The item is brand new and in-stock with one of our preferred suppliers. The item will ship from a Mighty Ape warehouse within the timeframe shown.

Usually ships in 3-4 weeks
0 in Trolley

Buy Now, Pay Later with:

4 payments of $66.50 with Afterpay Learn more

Availability

Delivering to:

Estimated arrival:

  • Around 15-25 July using International Courier

Explore more Lecture Notes in Computer Science,

See all products in this series

Fast, Low-resource, and Accurate Organ and Pan-cancer Segmentation in Abdomen CT
$181.99
Fast, Low-resource, and Accurate Organ and Pan-cancer Segmentation in...
Paperback / softback
Pre-order - out 23 Jul 2024
Computer Architecture Save $14
$136.99
$151.95
Computer Architecture
Paperback / softback
Available - Usually ships in 3-4 weeks
DIANA. An Intermediate Language for Ada
$80.99
DIANA. An Intermediate Language for Ada
Paperback / softback
Available - Usually ships in 3-4 weeks
Service-Oriented Computing Save $49
$135.99
$185.95
Service-Oriented Computing
Paperback / softback
Available - Usually ships in 3-4 weeks
Supercomputing Frontiers
$123.99
Supercomputing Frontiers
Paperback / softback
Available - Usually ships in 3-4 weeks
Software Engineering
$118.99
Software Engineering
Paperback / softback
Available - Usually ships in 3-4 weeks
Paragon by Mark S. Sherman Save $44
$135.99
$180.95
Paragon
by Mark S. Sherman ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Scalable Uncertainty Management Save $27
$135.99
$163.95
Scalable Uncertainty Management
Paperback / softback
Available - Usually ships in 3-4 weeks
Virtual Reality and Mixed Reality
$135.99
Virtual Reality and Mixed Reality
Paperback / softback
Available - Usually ships in 3-4 weeks
Verification, Model Checking, and Abstract Interpretation
$181.99
Verification, Model Checking, and Abstract Interpretation
Paperback / softback
Available - Usually ships in 3-4 weeks
Supercomputing
$181.99
Supercomputing
Paperback / softback
Available - Usually ships in 3-4 weeks
Multi-Agent-Based Simulation XII
$167.99
Multi-Agent-Based Simulation XII
Paperback / softback
Available - Usually ships in 3-4 weeks
Internet of Things – ICIOT 2019
$135.99
Internet of Things – ICIOT 2019
Paperback / softback
Available - Usually ships in 3-4 weeks
Experimental Software Engineering Issues: Save $13
$144.99
$158.95
Experimental Software Engineering Issues:
Paperback / softback
Available - Usually ships in 3-4 weeks
Computer Aided Verification
$123.99
Computer Aided Verification
Paperback / softback
Available - Usually ships in 3-4 weeks
Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning
$192.99
Leveraging Applications of Formal Methods, Verification and...
Paperback / softback
Available - Usually ships in 3-4 weeks

Description

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.
Release date Australia
October 30th, 1996
Audience
  • Professional & Vocational
Contributors
  • Edited by Egon Borger
  • Edited by Hans Langmaack
  • Edited by Jean-Raymond Abrial
Illustrations
IX, 523 p.
Pages
523
Dimensions
156x234x27
ISBN-13
9783540619291
Product ID
5263907

Customer reviews

Nobody has reviewed this product yet. You could be the first!

Write a Review

Marketplace listings

There are no Marketplace listings available for this product currently.
Already own it? Create a free listing and pay just 9% commission when it sells!

Sell Yours Here

Recommended for you

Recommended from your browsing history

Help & options

Filed under...

Books >
Business & Economics >
Industry Studies
Books >
Non-Fiction >
Technology >
Mechanical engineering & materials >
Mechanical engineering >
Engines & power transmission
Books >
Non-Fiction >
Technology >
Mechanical engineering & materials >
Mechanical engineering >
Engines & power transmission >
Steam engines
Books >
Computers & Internet >
Computer Programming >
Software engineering
Books >
Computers & Internet >
Computer programming / software development >
Software Engineering