Higher-order Algebra, Logic and Term Rewriting: First International Workshop, Hoa '93, Amsterdam, the Netherlands, September 23 - 24, 1993, Selected Papers - Lecture Notes in Computer Science - Jan Heering - Libros - Springer-Verlag Berlin and Heidelberg Gm - 9783540582335 - 28 de julio de 1994
En caso de que portada y título no coincidan, el título será el correcto

Jan Heering
Higher-order Algebra, Logic and Term Rewriting: First International Workshop, Hoa '93, Amsterdam, the Netherlands, September 23 - 24, 1993, Selected Papers - Lecture Notes in Computer Science

Precio
Mex$ 959
sin IVA

Pedido desde almacén remoto

Entrega prevista 4 - 14 de ago.
Recibe notificaciones sobre nuevos lanzamientos de Jan Heering

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

The research papers collected in this volume are devoted to the algebra and model theory of higher-order languages, computational logic techniques such as resolution and term rewriting, and specification and verification case studies. They suggest new research directions in this area.

351 pages, biography

Medios de comunicación Libros     Paperback Book   (Libro con tapa blanda y lomo encolado)
Publicado 28 de julio de 1994
ISBN13 9783540582335
Editores Springer-Verlag Berlin and Heidelberg Gm
Páginas 351
Dimensiones 152 × 229 × 19 mm   ·   508 g
Lengua Alemán  
Editor Heering, J.
Editor Meinke, K.
Editor Moller, Bernhard
Editor Nipkow, Tobias

Más del mismo editor

Ver todo de Jan Heering ( Ej. Paperback Book )