Verification of Reactive Systems - Texts in Theoretical Computer Science: an Eatcs Series - Klaus Schneider - Livros - Springer-Verlag Berlin and Heidelberg Gm - 9783642055553 - 8 de dezembro de 2010
Caso a capa e o título não sejam correspondentes, considere o título como correto

Verification of Reactive Systems - Texts in Theoretical Computer Science: an Eatcs Series Softcover Reprint of Hardcover 1st Ed. 2004 edition

Klaus Schneider

Preço
S$ 72
excluindo impostos

Item sob encomenda (no estoque do fornecedor)

Espera-se estar pronto para envio 22 - 28 de jul
Adicione à sua lista de desejos do iMusic

Verification of Reactive Systems - Texts in Theoretical Computer Science: an Eatcs Series Softcover Reprint of Hardcover 1st Ed. 2004 edition

620 pages, 19 black & white illustrations, biography

Mídia Livros     Paperback Book   (Livro de capa flexível e brochura)
Lançado 8 de dezembro de 2010
ISBN13 9783642055553
Editoras Springer-Verlag Berlin and Heidelberg Gm
Páginas 620
Dimensões 156 × 234 × 31 mm   ·   857 g
Idioma German  

Mostrar tudo

Mais por Klaus Schneider