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

Conte aos seus amigos sobre este item:

Verifying Concurrent Processes Using Temporal Logic - Lecture Notes in Computer Science 1982 edition

B. T. Hailpern

Preço

DKK 379,90

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

209 pages, biography

Mídia	Livros Paperback Book (Livro de capa flexível e brochura)
Lançado	1 de março de 1982
ISBN13	9783540112051
Editoras	Springer-Verlag Berlin and Heidelberg Gm
Páginas	209
Dimensões	155 × 233 × 11 mm · 312 g
Idioma	English