Domains and Lambda-Calculi - Cambridge Tracts in Theoretical Computer Science - Amadio, Roberto M. (Universite de Provence) - Libros - Cambridge University Press - 9780521622776 - 2 de julio de 1998
En caso de que portada y título no coincidan, el título será el correcto

Amadio, Roberto M. (Universite de Provence)
Domains and Lambda-Calculi - Cambridge Tracts in Theoretical Computer Science

Precio
$ 205,49
sin IVA

Pedido desde almacén remoto

Entrega prevista 17 de jun. - 6 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

También disponible como:

This book describes the mathematical aspects of the semantics of programming languages. The main goals are to provide formal tools to assess the meaning of programming constructs in ways independent of both language and platform. To do this the authors explain denotational and operational semantics and exploit the duality between them.

504 pages, 85 b/w illus.

Medios de comunicación Libros     Hardcover Book   (Libro con lomo y cubierta duros)
Publicado 2 de julio de 1998
ISBN13 9780521622776
Editores Cambridge University Press
Páginas 504
Dimensiones 236 × 159 × 37 mm   ·   938 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 Amadio, Roberto M. (Universite de Provence) ( Ej. Hardcover Book y Paperback Book )