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 Softcover reprint of hardcover 3rd ed. 2009 edition

Krzysztof R. Apt

Preço

€ 103,99

Item sob encomenda (no estoque do fornecedor)

Data prevista de entrega 28 de fev - 11 de mar

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 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