Foundations of Real-Time Computing: Formal Specifications and Methods - The Springer International Series in Engineering and Computer Science - Andri M Van Tilborg - Livros - Springer - 9780792391678 - 31 de agosto de 1991
Caso a capa e o título não sejam correspondentes, considere o título como correto

Foundations of Real-Time Computing: Formal Specifications and Methods - The Springer International Series in Engineering and Computer Science 1991 edition

Andri M Van Tilborg

Preço
SEK 1.799
excluindo impostos

Item sob encomenda (no estoque do fornecedor)

Espera-se estar pronto para envio 7 - 14 de ago
Adicione à sua lista de desejos do iMusic

Foundations of Real-Time Computing: Formal Specifications and Methods - The Springer International Series in Engineering and Computer Science 1991 edition

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.

Mostrar tudo

Mais por Andri M Van Tilborg