
Conte aos seus amigos sobre este item:
Foundations of Real-Time Computing: Formal Specifications and Methods - The Springer International Series in Engineering and Computer Science 1991 edition
Andri M Van Tilborg
Foundations of Real-Time Computing: Formal Specifications and Methods - The Springer International Series in Engineering and Computer Science 1991 edition
Andri M Van Tilborg
This volume contains a selection of papers that focus on the state-of the-art in formal specification and verification of real-time computing systems.
316 pages, biography
Mídia | Livros Hardcover Book (Livro com lombada e capa dura) |
Lançado | 31 de agosto de 1991 |
ISBN13 | 9780792391678 |
Editoras | Springer |
Páginas | 316 |
Dimensões | 155 × 235 × 19 mm · 639 g |
Editor | Koob, Gary M. |
Editor | Van Tilborg, Andre M. |
Mais por Andri M Van Tilborg
Ver tudo de Andri M Van Tilborg ( por exemplo Hardcover Book )