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

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

Precio
$ 67,59

Pedido desde almacén remoto

Entrega prevista 23 de may. - 3 de jun.

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

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

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
Editor Proietti, Maurizio
Mostrar todo

Mas por Maurizio Proietti

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