Predicate Transformer Semantics - Cambridge Tracts in Theoretical Computer Science - Manes, Ernest. G. (University of Massachusetts, Amherst) - Livros - Cambridge University Press - 9780521616102 - 2 de dezembro de 2004
Caso a capa e o título não sejam correspondentes, considere o título como correto

Predicate Transformer Semantics - Cambridge Tracts in Theoretical Computer Science

Manes, Ernest. G. (University of Massachusetts, Amherst)

Preço
Ft 27.510

Item sob encomenda (no estoque do fornecedor)

Data prevista de entrega 28 de out - 6 de nov

O que dizem nossos clientes:

Política de devolução de 14 dias, em conformidade com a lei europeia de proteção do consumidor
Melhor classificação na Trustpilot
Adicione à sua lista de desejos do iMusic

Predicate Transformer Semantics - Cambridge Tracts in Theoretical Computer Science

This book presents a rigorous foundation for defining Boolean categories and will appeal to graduate students and researchers in theoretical computer science.

236 pages, black & white illustrations

Mídia Livros     Paperback Book   (Livro de capa flexível e brochura)
Lançado 2 de dezembro de 2004
ISBN13 9780521616102
Editoras Cambridge University Press
Páginas 236
Dimensões 188 × 245 × 17 mm   ·   426 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.

Ver tudo de Manes, Ernest. G. (University of Massachusetts, Amherst) ( por exemplo Paperback Book )