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

Conte aos seus amigos sobre este item:

Programs, Recursion and Unbounded Choice - Cambridge Tracts in Theoretical Computer Science

Wim H. Hesselink

Preço

€ 59,99

Item sob encomenda (no estoque do fornecedor)

Data prevista de entrega 18 - 27 de ago

O que dizem nossos clientes:

Adicione à sua lista de desejos do iMusic

A complete account of the predicate transformation calculus semantics of sequential programs.

240 pages, black & white illustrations

Mídia	Livros Paperback Book (Livro de capa flexível e brochura)
Lançado	22 de agosto de 2005
ISBN13	9780521018296
Editoras	Cambridge University Press
Páginas	240
Dimensões	170 × 245 × 12 mm · 385 g
Idioma	English
Editor de séries	Abramsky, S.
Editor de séries	Aczel, P. H.
Editor de séries	Bakker, J. W. De
Editor de séries	Gurevich, Y.
Editor de séries	Tucker, J. V.
Editor de séries	Van Rijsbergen, C. J.