Recomienda este artículo a tus amigos:
Foundations of Real-Time Computing: Formal Specifications and Methods - The Springer International Series in Engineering and Computer Science Andri M Van Tilborg 1991 edition
Foundations of Real-Time Computing: Formal Specifications and Methods - The Springer International Series in Engineering and Computer Science
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
| Medios de comunicación | Libros Hardcover Book (Libro con lomo y cubierta duros) |
| Publicado | 31 de agosto de 1991 |
| ISBN13 | 9780792391678 |
| Editores | Springer |
| Páginas | 316 |
| Dimensiones | 155 × 235 × 19 mm · 639 g |
| Editor | Koob, Gary M. |
| Editor | Van Tilborg, Andre M. |
Mas por Andri M Van Tilborg
Mostrar todoMere med samme udgiver
Ver todo de Andri M Van Tilborg ( Ej. Hardcover Book )