Logic from Computer Science: Proceedings of a Workshop Held November 13-17, 1989: v. 21 (Mathematical Sciences Research Institute Publications) - Tapa dura

 
9783540976677: Logic from Computer Science: Proceedings of a Workshop Held November 13-17, 1989: v. 21 (Mathematical Sciences Research Institute Publications)
Tapa dura
ISBN 10: 3540976671 ISBN 13: 9783540976677
Editorial: Springer-Verlag Berlin and Heidelberg GmbH & Co. K, 1992

Esta edición ISBN ya no está disponible.

Sinopsis

This text represents the proceedings of a workshop held in 1989 and covers such areas as computability and the complexity of higher type functions, logics for termination and correctness of functional programs and concurrent computation as game playing.

"Sinopsis" puede pertenecer a otra edición de este libro.

Reseña del editor

This text represents the proceedings of a workshop held in 1989 and covers such areas as computability and the complexity of higher type functions, logics for termination and correctness of functional programs and concurrent computation as game playing.

"Sobre este título" puede pertenecer a otra edición de este libro.

Editorial
Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Año de publicación
1992
Idioma
Inglés
ISBN 10 
3540976671
ISBN 13 
9783540976677
Encuadernación
Tapa dura
Número de páginas
619
Editor
Moschovakis Yiannis N.
Contacto del fabricante
no disponible
Persona responsable
no disponible

Otras ediciones populares con el mismo título

9781461276852: Logic from Computer Science: Proceedings of a Workshop held November 13–17, 1989: 21 (Mathematical Sciences Research Institute Publications)

Edición Destacada

ISBN 10:  1461276853 ISBN 13:  9781461276852
Editorial: Springer, 2011
Tapa blanda