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

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

Price
£ 80.99

Ordered from remote warehouse

Expected delivery Jan 7 - 15, 2026
Christmas presents can be returned until 31 January

Our customers say:

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

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

More by Jean-raymond Abrial

Show all

Others have also bought

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