Maurizio Proietti
Logic Program Synthesis and Transformation: 5th International Workshop, Lopstr '95, Utrecht, the Netherlands, September 20-22, 1995. Proceedings - Lecture Notes in Computer Science Maurizio Proietti

Name: Logic Program Synthesis and Transformation: 5th International Workshop, Lopstr '95, Utrecht, the Netherlands, September 20-22, 1995. Proceedings - Lecture Notes in Computer Science
Price: 958 MXN
Availability: OutOfStock
Author: Maurizio Proietti

Precio

Mex$ 958

sin IVA

Pedido desde almacén remoto

Entrega prevista 3 - 13 de ago.

Recibe notificaciones sobre nuevos lanzamientos de Maurizio Proietti

Nuestros clientes opinan:

Top-vurdering på Google Reviews, baseret på tusinder af anmeldelser.

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

Logic Program Synthesis and Transformation: 5th International Workshop, Lopstr '95, Utrecht, the Netherlands, September 20-22, 1995. Proceedings - Lecture Notes in Computer Science

Maurizio Proietti

These conference proceedings offer an up-to-date account of the use of formal synthesis and transformation techniques for computer-aided development of logic programs. Topics addressed include deductive and inductive program synthesis and synthesis models based on constructive type theory.

274 pages, biography

Medios de comunicación	Libros Paperback Book (Libro con tapa blanda y lomo encolado)
Publicado	6 de marzo de 1996
ISBN13	9783540609391
Editores	Springer-Verlag Berlin and Heidelberg Gm
Páginas	274
Dimensiones	156 × 234 × 15 mm · 399 g
Lengua	Alemán
Editor	Proietti, Maurizio