Category Theory and Computer Science: 7th International Conference, Ctcs'97, Santa Margherita Ligure Italy, September 4-6, 1997, Proceedings - Lecture Notes in Computer Science - Eugenio Moggi - Libros - Springer-Verlag Berlin and Heidelberg Gm - 9783540634553 - 20 de agosto de 1997
En caso de que portada y título no coincidan, el título será el correcto

Eugenio Moggi
Category Theory and Computer Science: 7th International Conference, Ctcs'97, Santa Margherita Ligure Italy, September 4-6, 1997, Proceedings - Lecture Notes in Computer Science

Precio
Mex$ 1.138
sin IVA

Pedido desde almacén remoto

Entrega prevista 20 de ago. - 7 de sep.
Recibe notificaciones sobre nuevos lanzamientos de Eugenio Moggi

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

Aún no valorado

Presenting the proceedings of the seventh International Conference on Category Theory and Computer Science, CTCS '97, this monograph addresses a range of topics in the field, including: reasoning principles for types; rewriting; program semantics; and structuring of logical systems.

328 pages, biography

Medios de comunicación Libros     Paperback Book   (Libro con tapa blanda y lomo encolado)
Publicado 20 de agosto de 1997
ISBN13 9783540634553
Editores Springer-Verlag Berlin and Heidelberg Gm
Páginas 328
Dimensiones 156 × 234 × 17 mm   ·   458 g
Lengua Alemán  
Editor Moggi, Eugenio
Editor Rosolini, Giuseppe

Más del mismo editor

Ver todo de Eugenio Moggi ( Ej. Paperback Book )