Caso a capa e o título não sejam correspondentes, considere o título como correto

Conte aos seus amigos sobre este item:

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

Krzysztof R. Apt

Preço

₺ 4.092

excluindo impostos

Item sob encomenda (no estoque do fornecedor)

Espera-se estar pronto para envio 2 - 8 de jul

O que dizem nossos clientes:

Adicione à sua lista de desejos do iMusic

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