|
Books > Business & Economics > Industry & industrial studies
|
Buy Now
Formal Methods for Industrial Applications - Specifying and Programming the Steam Boiler Control (Paperback, 1996 ed.)
Loot Price: R2,996
Discovery Miles 29 960
|
|
|
Formal Methods for Industrial Applications - Specifying and Programming the Steam Boiler Control (Paperback, 1996 ed.)
Series: Lecture Notes in Computer Science, 1165
Expected to ship within 10 - 15 working days
|
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.
General
Is the information for this product incomplete, wrong or inappropriate?
Let us know about it.
Does this product have an incorrect or missing image?
Send us a new image.
Is this product missing categories?
Add more categories.
Review This Product
No reviews yet - be the first to create one!
|
You might also like..
|
Email address subscribed successfully.
A activation email has been sent to you.
Please click the link in that email to activate your subscription.
Welcome to Loot.co.za!
Sign in / Register |Wishlists & Gift Vouchers |Help | Advanced search
