Predicate Transformer Semantics - Cambridge Tracts in Theoretical Computer Science - Manes, Ernest. G. (University of Massachusetts, Amherst) - Libros - Cambridge University Press - 9780521616102 - 2 de diciembre de 2004
En caso de que portada y título no coincidan, el título será el correcto

Manes, Ernest. G. (University of Massachusetts, Amherst)
Predicate Transformer Semantics - Cambridge Tracts in Theoretical Computer Science

Precio
$ 82,49
sin IVA

Pedido desde almacén remoto

Entrega prevista 23 de jun. - 10 de jul.

Nuestros clientes opinan:

Política de devolución de 14 días conforme a la legislación europea de protección de los consumidores
Mejor valorado en Trustpilot
Añadir a tu lista de deseos de iMusic

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

Medios de comunicación Libros     Paperback Book   (Libro con tapa blanda y lomo encolado)
Publicado 2 de diciembre de 2004
ISBN13 9780521616102
Editores Cambridge University Press
Páginas 236
Dimensiones 188 × 245 × 17 mm   ·   426 g
Lengua Inglés  
Editor de series Abramsky, S.
Editor de series Aczel, P. H.
Editor de series Bakker, J. W. de
Editor de series Gurevich, Y.
Editor de series Tucker, J. V.
Editor de series Van Rijsbergen, C. J.

Mere med samme udgiver

Ver todo de Manes, Ernest. G. (University of Massachusetts, Amherst) ( Ej. Paperback Book )