Verification of Sequential and Concurrent Programs - Texts in Computer Science - Krzysztof R. Apt - Livros - Springer London Ltd - 9781848827448 - 5 de outubro de 2009
Caso a capa e o título não sejam correspondentes, considere o título como correto

Verification of Sequential and Concurrent Programs - Texts in Computer Science 3rd ed. 2009, Corr. 3rd printing 2010 edition

Krzysztof R. Apt

Preço
NOK 1.129

Item sob encomenda (no estoque do fornecedor)

Data prevista de entrega 28 de jul - 5 de ago
Adicione à sua lista de desejos do iMusic

Também disponível como:

Verification of Sequential and Concurrent Programs - Texts in Computer Science 3rd ed. 2009, Corr. 3rd printing 2010 edition

HIS BOOK CONTAINS a most comprehensive text that presents syntax-directed and compositional methods for the formal veri?- T cation of programs.


502 pages, 26 black & white illustrations, biography

Mídia Livros     Hardcover Book   (Livro com lombada e capa dura)
Lançado 5 de outubro de 2009
ISBN13 9781848827448
Editoras Springer London Ltd
Páginas 502
Dimensões 167 × 237 × 32 mm   ·   911 g
Idioma English  
Contribuidor Amir Pnueli

Mostrar tudo

Mais por Krzysztof R. Apt