«Comprobar estado del pedido»
LIBRISTO
LIBROAMANTO
obligatorio
Contraseña olvidada
Entre a formar parte de una comunidad de amantes de los libros del mundo entero y acceda a un sinfín de ventajas. Crear una cuenta gratis
0
Envío gratuito con Zásilkovna para compras superiores a 59.99 €
Mensajería SEUR 4.99 € Mensajería GLS 7.99 € Mensajería Correos 5.49 € Mensajería DHL 5.49 € Punto SEUR 3.99 €
phone Contacto phoneCómo comprar
Envío gratis a partir de 69,99 euros.

Logic Program Synthesis and Transformation

5th International Workshop, Utrecht, The Netherlands, September 20-22, 1995. Proceedings

Idioma InglésInglés
Libro Tapa blanda
Libro Logic Program Synthesis and Transformation Maurizio Proietti
Código Libristo: 05274555
Editores Springer, Berlin, noviembre 1995
This book constitutes the refereed proceedings of the 5th International Workshop on Logic Program Sy... Descripción completa
? points 138 b
56.49 €
Almacenamiento externo Envío en 5-8 días

Hasta 30 días para devoluciones

Clientes que también han comprado

AVUI M'HE COMPRAT UNA DESTRAL RUPPMANN TOBELLA / Libro Tapa blanda
common.buy 24.89 €
Seide von Alessandro Baricco (Lekturehilfe) Catherine Bourguignon / Libro electrónico Adobe ePub DRM
common.buy 12.29 €
Alpha - Tome 13 - Le Syndrome de Maracamba Jigounov Iouri / Libro Tapa dura
common.buy 17.09 €
Avions et bateaux en origami Six / Libro Tapa dura
common.buy 11.29 €
Deutsche Kriegslokomotiven / Libro Tapa blanda
common.buy 14.39 €
Des Effets de la Derivation Et Deuxieme Appendice A Mes Observations GONDRET-L-F / Libro Tapa blanda
common.buy 14.19 €
La Premiere Maitresse: Roman Contemporain Mendes-C / Libro Tapa blanda
common.buy 27.09 €
Voces sabias: El arte de vivir en tiempos de cambio ELENA GARCIA QUEVEDO / Libro Tapa blanda
common.buy 7.49 €
Germanistik - Forschungsstand und Perspektiven, Teil 1, Germanistische Sprachwissenschaft, Didaktik der Deutschen Sprache und Literatur Georg Stötzel / Libro Tapa dura
common.buy 258.19 €

This book constitutes the refereed proceedings of the 5th International Workshop on Logic Program Synthesis and Transformation, LOPSTR'95, held in Utrecht, The Netherlands in September 1995.The 19 papers included were selected from 40 workshop submissions; they offer a unique up-to-date account of the use of formal synthesis and transformation techniques for computer-aided development of logic programs. Among the topics addressed are deductive and inductive program synthesis, synthesis models based on constructive type theory, program specification, program analysis, theorem proving, and applications to various types of programs.

Actriz & Políglota
EWA KASP para
Visualizar el vídeo
Ewa Kasp
Libristo tiene la oferta más extensa de literatura en idiomas extranjeros. Por eso compran aquí sus libros.

Sobre el libro

Nombre y apellidos Logic Program Synthesis and Transformation
Autor Maurizio Proietti
Idioma Inglés
Encuadernación Libro - Tapa blanda
Fecha de publicación 1996
Número de páginas 274
EAN 9783540609391
ISBN 3540609393
Código Libristo 05274555
Editores Springer, Berlin
Peso 378
Dimensiones 156 x 234 x 15

Categorías

Tecnología, ingeniería, agricultura, procedimientos industriales > Ingeniería electrónica y de las comunicaciones > Ingeniería electrónica > Ingeniería de control automático > Robótica
Computación e informática > Programación informática/desarrollo de software > Compiladores e intérpretes
Computación e informática > Programación informática/desarrollo de software > Lenguajes de programación y extensión/scripting: general
Computación e informática > Ciencias de la computación > Teoría matemática de la computación
Computación e informática > Ciencias de la computación > Arquitectura y diseño lógico de ordenadores
Computación e informática > Ciencias de la computación > Inteligencia artificial
Regale este libro hoy
Es fácil
1 Añadir al carrito y elegir Entregar como regalo en el checkout 2 Le enviaremos un vale 3 El libro llegará a la dirección del destinatario

También puede interesarle

Septimus and the Danedyke Mystery Stephen Chance / Libro Tapa blanda
common.buy 15.39 €
Popular
Breathe Peter Maguire / Libro Tapa dura
common.buy 23.99 €
A Catechism Of Politics: For The Use Of The New Electorate (1885) Frederick August Hoffmann / Libro Tapa blanda
common.buy 21.99 €
Alabama Oh and the New Boy Micael Stefano / Libro Tapa blanda
common.buy 13.59 €
DOLPHINS AND WHALES Following my Passion Hannah E Hunter / Libro Tapa blanda
common.buy 20.09 €
Twenty Seconds and other Psychological Dramas Joseph Berger / Libro Tapa blanda
common.buy 11.59 €
Cordova Cathy R. Sherman with Photographs from T / Libro Tapa dura
common.buy 25.79 €
Avengers: Kree/skrull War Gallery Edition THOMAS / Libro Tapa dura
common.buy 67.49 €
Miss Colfax's Light Aimee Bissonette / Libro Tapa dura
common.buy 17.29 €
Peasants and Government in the Russian Revolution Graeme J. Gill / Libro Tapa blanda
common.buy 33.69 €
False Memory Tony Lopez / Libro Tapa blanda
common.buy 17.99 €
My Share of the World. an Autobiography. [A Novel.] Frances Browne / Libro Tapa blanda
common.buy 25.69 €
Modern Capitalist Culture Leslie A. White / Libro Tapa dura
common.buy 253.49 €
Beyond the Asterisk Heather J. Shotton / Libro Tapa blanda
common.buy 61.59 €
Porsche 911 Carrera Service Manual 1995-1998 Bentley Publishers / Libro Tapa dura
common.buy 170.89 €
Trading Risk - Enhanced Profitability Through Risk Control Kenneth L. Grant / Libro Tapa dura
common.buy 73.69 €
Studies in Plato and the Platonic Tradition Mark Joyal / Libro Tapa dura
common.buy 252.29 €
Machiavelli and Epicureanism Robert J. Roecklein / Libro Tapa blanda
common.buy 73.29 €

Inicio de sesión

Inicie sesión en su cuenta. ¿No tiene una cuenta Libristo? ¡Cree una ahora!

 
obligatorio
obligatorio
Contraseña olvidada

¿No tiene cuenta? Descubra las ventajas de tener una cuenta Libristo.

Si tiene una cuenta Libristo, lo tendrá todo bajo control.

Crear una cuenta Libristo
Asesor de libros Libroamiko
Hola, soy Libroamiko, ¿puedo ayudarte?