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
Preço
Íkr 14.022,74
Item sob encomenda (no estoque do fornecedor)
Data prevista de entrega 9 - 17 de set
O que dizem nossos clientes:
Adicione à sua lista de desejos do iMusic
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 )