Verification of Sequential and Concurrent Programs - Texts in Computer Science - Krzysztof R. Apt - Livros - Springer London Ltd - 9781447125136 - 14 de março de 2012
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 Softcover reprint of hardcover 3rd ed. 2009 edition

Krzysztof R. Apt

Preço
zł 327,90

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 Softcover reprint of hardcover 3rd ed. 2009 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     Paperback Book   (Livro de capa flexível e brochura)
Lançado 14 de março de 2012
ISBN13 9781447125136
Editoras Springer London Ltd
Páginas 502
Dimensões 156 × 233 × 28 mm   ·   730 g
Idioma English  
Contribuidor Amir Pnueli

Mostrar tudo

Mais por Krzysztof R. Apt