Verifying Temporal Properties of Systems - Progress in Theoretical Computer Science - J C Bradfield - Livros - Birkhauser - 9781468468212 - 25 de fevereiro de 2012
Caso a capa e o título não sejam correspondentes, considere o título como correto

Verifying Temporal Properties of Systems - Progress in Theoretical Computer Science

J C Bradfield

Preço
元 396
excluindo impostos

Item sob encomenda (no estoque do fornecedor)

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

Verifying Temporal Properties of Systems - Progress in Theoretical Computer Science

116 pages, black & white illustrations, bibliography

Mídia Livros     Paperback Book   (Livro de capa flexível e brochura)
Lançado 25 de fevereiro de 2012
ISBN13 9781468468212
Editoras Birkhauser
Páginas 116
Dimensões 156 × 234 × 7 mm   ·   185 g
Idioma English