Formal Methods for Industrial Applications: Specifying and Programming the Steam Boiler Control - Lecture Notes in Computer Science - Jean-raymond Abrial - Books - Springer-Verlag Berlin and Heidelberg Gm - 9783540619291 - October 30, 1996
In case cover and title do not match, the title is correct

Formal Methods for Industrial Applications: Specifying and Programming the Steam Boiler Control - Lecture Notes in Computer Science 1996 edition

Jean-raymond Abrial

Price
€ 96.99

Ordered from remote warehouse

Expected delivery Jun 26 - Jul 4

Our customers say:

14-day return policy in accordance with European consumer protection law
Top ranking on Trustpilot
Add to your iMusic wish list

Formal Methods for Industrial Applications: Specifying and Programming the Steam Boiler Control - Lecture Notes in Computer Science 1996 edition

In this text and CD-ROM, 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.

532 pages, biography

Media Books     Paperback Book   (Book with soft cover and glued back)
Released October 30, 1996
ISBN13 9783540619291
Publishers Springer-Verlag Berlin and Heidelberg Gm
Pages 523
Dimensions 155 × 235 × 27 mm   ·   734 g
Language German  
Editor Abrial, Jean-Raymond
Editor Boerger, Egon
Editor Langmaack, Hans
Show all

More by Jean-raymond Abrial

Others have also bought

See all of Jean-raymond Abrial ( e.g. Paperback Book and Hardcover Book )