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 - Libros - Springer-Verlag Berlin and Heidelberg Gm - 9783540609391 - 6 de marzo de 1996
En caso de que portada y título no coincidan, el título será el correcto

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

Precio
€ 49,99

Pedido desde almacén remoto

Entrega prevista 25 de dic. - 2 de ene. de 2026
Los regalos de Navidad se podrán canjear hasta el 31 de enero

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

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

Mas por Maurizio Proietti

Mostrar todo

Ver todo de Maurizio Proietti ( Ej. Book y Paperback Book )