
Conte aos seus amigos sobre este item:
Formal Methods for Industrial Applications: Specifying and Programming the Steam Boiler Control - Lecture Notes in Computer Science 1996 edition
Jean-raymond Abrial
Formal Methods for Industrial Applications: Specifying and Programming the Steam Boiler Control - Lecture Notes in Computer Science 1996 edition
Jean-raymond Abrial
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
Mídia | Livros Paperback Book (Livro de capa flexível e brochura) |
Lançado | 30 de outubro de 1996 |
ISBN13 | 9783540619291 |
Editoras | Springer-Verlag Berlin and Heidelberg Gm |
Páginas | 523 |
Dimensões | 155 × 235 × 27 mm · 734 g |
Idioma | German |
Editor | Abrial, Jean-Raymond |
Editor | Boerger, Egon |
Editor | Langmaack, Hans |
Mostrar tudo
Mais por Jean-raymond Abrial
Outros também compraram
Ver tudo de Jean-raymond Abrial ( por exemplo Paperback Book e Hardcover Book )