[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 John Gallagher
Codice Libristo: 05274682
Casa editrice Springer, Berlin, novembre 1996
This book constitutes the strictly refereed post-workshop proceedings of the Sixth International Wor... 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

MMA Mastery: Strike Combinations Mark Hatmaker / In brossura
common.buy 14.12 €
Business Teacher's Resource John Allison / Video
common.buy 29.43 €
Friedrich Schiller Peter-André Alt / In brossura
common.buy 11.23 €
Latte Igel 3: Latte Igel und der Schwarze Schatten, 2 Audio-CD Sebastian Lybeck / CD audio
common.buy 10.05 €
Works of Aphra Behn: v. 7: Complete Plays Aphra Behn / Rigido
common.buy 184.96 €
Independent central banks and economic performance Sylvester C. W. Eijffinger / Rigido
common.buy 403.33 €
The Casus Codicis of Wilhelmus de Cabriano Tammo Wallinga / Rigido
common.buy 117.63 €
Afrikanische Kunst Ferdinand Herrmann / In brossura
common.buy 53.40 €
Das Lied von Eis und Feuer - Die Saat des goldenen Löwen, 3 Audio-CD, 3 MP3 George R. R. Martin / CD audio
common.buy 24.07 €
Electromagnetic Field Computation by Network Methods Leopold B. Felsen / Rigido
common.buy 143.32 €
Schule für die Altblockflöte Franz J. Giesbert / Note
common.buy 26.64 €
Experiment in Occupation Arthur D. Kahn / In brossura
common.buy 46.02 €
Victorian Radicals and Italian Democrats Marcella Pellegrino Sutcliffe / Rigido
common.buy 114.42 €

This book constitutes the strictly refereed post-workshop proceedings of the Sixth International Workshop on Logic Program Synthesis and Transformation, LOPSTR'96, held on board a ship sailing from Stockholm to Helsinki, in August 1996.The 17 revised full papers were carefully selected from a total of initially 27 submissions. The topics covered range over the areas of synthesis of programs from specifications, verification, transformation, specialization, and analysis of programs, and the use of program schemata in program development.

Informazioni sul libro

Titolo completo Logic Program Synthesis and Transformation
Autore John Gallagher
Lingua Inglese
Rilegatura Libro - In brossura
Data di pubblicazione 1997
Numero di pagine 331
EAN 9783540627180
ISBN 3540627189
Codice Libristo 05274682
Casa editrice Springer, Berlin
Peso 438
Dimensioni 156 x 234 x 18

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 > Programmazione orientata agli oggetti (OOP)
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