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

¥ 16.451,20

Item sob encomenda (no estoque do fornecedor)

Data prevista de entrega 7 - 15 de ago

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