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

NOK 1.129

Item sob encomenda (no estoque do fornecedor)

Data prevista de entrega 28 de jul - 5 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