Controllare lo stato dell'ordine
LIBRISTO
LIBROAMANTO
obbligatorio
Password dimenticata
Entra a far parte di una comunità di amanti dei libri di tutto il mondo e ottieni numerosi vantaggi. Crea un account gratuito
0
Spedizione gratuita con Packeta per un prezzo superiore a 69.99 €
Bartolini 4.49 € Punto Poste 5.49 € Punto Poste 5.49 € Punto Bartolini 3.49 € DHL 6.99 € GLS 5.99 €
phone Contatto phoneCome acquistare
Spedizione gratuita per ordini superiori a 69,99 euro.

Logic-Based Program Synthesis and Transformation

17th International Symposium, LOPSTR 2007, Kongens Lyngby, Denmark, August 23-24, 2007, Revised Selected Papers

Lingua IngleseInglese
Libro In brossura
Libro Logic-Based Program Synthesis and Transformation Andy King
Codice Libristo: 01570057
Casa editrice Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, marzo 2008
This postproceedings volume of the 17th International Symposium on Logic-Based Program Synthesis and... Descrizione completa
? points 132 b
53.79 €
Magazzino esterno Inviamo tra 5-8 giorni

30 giorni per il reso

I clienti hanno acquistato anche

Klar zum Feuern John Martin Ungar / Libro In brossura
common.buy 9.59 €
20. Jahrhundert. Gefahrdet und gefahrlich Christiane Hagn / Libro In brossura
common.buy 16.89 €
Circoncision masculine sans risque pour l'infection par le VIH en Ouganda Nicholas Sebuliba Kirirabwa / Libro In brossura
common.buy 37.29 €
Autonomía de la escuela : principios y propuestas Gadotti (BR) / Libro In brossura
common.buy 21.39 €
L'Histoire Des Juifs Depuis Jesus-Christ Jusqu'a Present: Pour Servir de Suplement [Sic] & de Continuation A L'Histoire de Joseph... Jacques Basnage / Libro In brossura
common.buy 33.69 €
Melekler Kiz mi, Erkek mi Özkan Öze / Libro In brossura
common.buy 9.59 €
Die asiatische Cholera Joseph Riedel / Libro In brossura
common.buy 12.89 €
Fourmi, Productions de l'Ete Pour Nos Recreations de l'Hiver SANS AUTEUR / Libro In brossura
common.buy 18.09 €
Extraits Du 'Lexicon Politique', Ouvrage Inedit Du Chevalier de Sade. Volume 3 De Sade-L / Libro In brossura
common.buy 13.19 €
Curso sobre agricultura biodinámica STEINER / Libro In brossura
common.buy 23.19 €
Pathologie und Therapie der mannlichen Impotenz Victor G. Vecki / Libro In brossura
common.buy 20.59 €
Manual técnico de la construcción. Gestión de la prevención de riesgos laborales y de la protección S. L. Consultores en Previsión Social / Libro In brossura
common.buy 107.99 €

This postproceedings volume of the 17th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2007, examines program termination, program transformation, constraint solving and analysis as well as software engineering.

Attrice & Poliglotta
EWA KASP per
Riproduci video
Ewa Kasp
Libristo ha la più grande selezione di letteratura in lingue straniere. Per questo compro i miei libri qui.

Informazioni sul libro

Titolo completo Logic-Based Program Synthesis and Transformation
Autore Andy King
Lingua Inglese
Rilegatura Libro - In brossura
Data di pubblicazione 2008
Numero di pagine 222
EAN 9783540787686
ISBN 3540787682
Codice Libristo 01570057
Casa editrice Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Peso 365
Dimensioni 154 x 14 x 239

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 > Ingegneria del software
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
Informatica e Tecnologia dell’Informazione > Sistemi operativi
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

Potrebbe interessarti anche

Controlled Nanoscale Motion Heiner Linke / Libro Rigido
common.buy 107.29 €
Clarinet for Beginners: Book 1 - Elementary Avrahm Galper / Libro In brossura
common.buy 12.29 €
Rise of Early Modern Science HUFF TOBY E. / Libro Rigido
common.buy 141.99 €
Delaware Indian Legend and the Story of their Troubles Richard C. Adams / Libro In brossura
common.buy 13.19 €
Extraordinary Cases. Henry L Clinton / Libro In brossura
common.buy 27.89 €
A Blueprint For Achieving Peace On Earth MR Russell E Hill / Libro In brossura
common.buy 15.39 €
Drowning In My Tea Cup: There Should Have Been A Rainbow Joseph C Cullis / Libro In brossura
common.buy 8.39 €
The Notary Art of Solomon: Ars Notoria King Solomon / Libro In brossura
common.buy 7.49 €
Chimpanzee Lisa Jackson / Libro Rigido
common.buy 37.49 €
Living Theory C.E. Hurst / Libro In brossura
common.buy 120.49 €
Cheyenne Quinn M. Arnold / Libro Rigido
common.buy 39.79 €
Remarks on the Principles Adopted by Bishop Lowth in Correcting the Text of the Hebrew Bible John Rogers / Libro In brossura
common.buy 19.09 €
Retail Marketing Strategy Constant Berkhout / Libro Rigido
common.buy 124.59 €
Beyond Chopped Liver Kenden Alfond / Libro Rigido
common.buy 37.39 €
I migliori
Rise of the Dragon Elio M. Garcia Jr. / Libro Rigido
common.buy 38.89 €
THINGS WE DO TO OUR FRIENDS DARWENT HEATHER / Libro In brossura
common.buy 14.59 €
Values Andreas Urs Sommer / Libro Rigido
common.buy 49.99 €
Incinerator Niall Leonard / Libro In brossura
common.buy 14.69 €
Prime Minister's Ironing Board and Other State Secrets Adam Macqueen / Libro In brossura
common.buy 15.59 €
Magician's Doubts Michael Wood / Libro In brossura
common.buy 54.19 €
Dust Julian Hawthorne / Libro Rigido
common.buy 53.49 €
How to Knit a Love Song: A Cypress Hollow Yarn Rachael Herron / Libro In brossura
common.buy 15.59 €
Miki Falls, Spring Mark Crilley / Libro In brossura
common.buy 8.69 €
Hard Tack and Coffee John B. Billings / Libro In brossura
common.buy 22.09 €

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
Consulente di libri Libroamiko
Ciao, sono Libroamiko, posso aiutarti?