[email protected]
LIBRISTO 0
Spedizione gratuita con Packeta per un prezzo superiore a 79.99 €
BRT 7.99 € Punto BRT 7.99 € DHL 7.99 € HR Parcel 7.49 € GLS 3.99 €
phone Contatto phoneCome acquistare

Logic Program Synthesis and Transformation

Lingua IngleseInglese
Libro In brossura
Libro Logic Program Synthesis and Transformation Maurizio Proietti
Codice Libristo: 05274555
Casa editrice Springer, Berlin, novembre 1995
This book constitutes the refereed proceedings of the 5th International Workshop on Logic Program Sy... Descrizione completa
? points 172 b
72.67 €
Magazzino esterno in piccole quantità Inviamo tra 13-16 giorni

30 giorni per il reso

Potrebbe interessarti anche

Porsche 911 Carrera Service Manual 1995-1998 Bentley Publishers / Rigido
common.buy 238.70 €
Trading Risk - Enhanced Profitability Through Risk Control Kenneth L. Grant / Rigido
common.buy 90.87 €
Beyond the Asterisk / In brossura
common.buy 65.93 €
Modern Capitalist Culture Leslie A. White / Rigido
common.buy 239.77 €
Studies in Plato and the Platonic Tradition Mark Joyal / Rigido
common.buy 223.28 €
Open Wounds 0863 Helsinki / In brossura
common.buy 18.72 €
Auditing and Accounting Cases: Investigating Issues of Fraud and Professional Ethics (Int'l Ed) Deborah Freier / In brossura
common.buy 102.86 €

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.

Informazioni sul libro

Titolo completo Logic Program Synthesis and Transformation
Autore Maurizio Proietti
Lingua Inglese
Rilegatura Libro - In brossura
Data di pubblicazione 1996
Numero di pagine 274
EAN 9783540609391
ISBN 3540609393
Codice Libristo 05274555
Casa editrice Springer, Berlin
Peso 378
Dimensioni 156 x 234 x 15

Categorie

Tecnologia, Ingegneria, Agricoltura, processi industriali > Ingegneria elettronica e delle comunicazioni > Ingegneria elettronica > Ingegneria del controllo automatico > Robotica
Informatica e Tecnologia dell’Informazione > Programmazione / ingegneria del software > Compilatori e interpreti
Informatica e Tecnologia dell’Informazione > Programmazione / ingegneria del software > Linguaggi di programmazione e scripting: generale
Informatica e Tecnologia dell’Informazione > Scienza dei calcolatori > Teoria matematica della computazione
Informatica e Tecnologia dell’Informazione > Scienza dei calcolatori > Architettura e progettazione logica dei computer
Informatica e Tecnologia dell’Informazione > Scienza dei calcolatori > Intelligenza artificiale
Regala questo libro oggi stesso
È facile
1 Aggiungi il libro al carrello e scegli la consegna come regalo 2 Ti invieremo subito il buono 3 Il libro arriverà all'indirizzo del destinatario

Accesso

Accedi al tuo account. Non hai ancora un account Libristo? Crealo ora!

 
obbligatorio
obbligatorio
Password dimenticata

Non hai un account? Ottieni i vantaggi di un account Libristo!

Con un account Libristo, avrai tutto sotto controllo.

Crea un account Libristo