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
Punto Poste 5.49 € Punto Poste 5.49 € Corriere DHL 6.99 € Corriere GLS 5.99 € Punto GLS 4.49 € Corriere Bartolini 4.49 € Punto Bartolini 3.49 €
phone Contatto phoneCome acquistare

Logic Based Program Synthesis and Transformation

13th International Symposium LOPSTR 2003, Uppsala, Sweden, August 25-27, 2003, Revised Selected Papers

Lingua IngleseInglese
Libro In brossura
Libro Logic Based Program Synthesis and Transformation Maurice Bruynooghe
Codice Libristo: 01559466
Casa editrice Springer, Berlin, novembre 2003
This book constitutes the thoroughly refereed postproceedings of the 13th International Symposium on... Descrizione completa
? points 125 b
50.99 €
Magazzino esterno Inviamo tra 5-8 giorni

Fino a 30 giorni per il reso

I clienti hanno acquistato anche

The Step Forward Years 1977-82 4CD Clamshell Box / Audio CD audio
common.buy 57.09 €
Soldati di Salamina Javier Cercas / Libro In brossura
common.buy 16.09 €
Dezentrale Vermögensbildungsfonds. Barbara Toillié / Libro Rigido
common.buy 79.59 €
Atlas dějin USA Lauric Henneton / Libro In brossura
common.buy 12.49 €
Chemie heute SI - Ausgabe 2013 für Sachsen Wolfgang Asselborn / Libro Foglio
common.buy 12.59 €
Information im oeffentlich-rechtlichen Fernsehen Cornelia Steinigen / Libro In brossura
common.buy 15.99 €
Mein Wörter-Schreibheft - erste Rechtschreibregeln Bernadette Frechen / Libro Foglio
common.buy 3.99 €
Ehe ich mich Traue Joachim Peters / Libro In brossura
common.buy 7.29 €
Charismating - Einkauf als Erlebnis Claudius A. Schmitz / Libro Rigido
common.buy 37.69 €
Pencak Silat Maurizio Maltese / Libro In brossura
common.buy 17.69 €
Morale du joujou: suivi de: De l'essence du rire Charles P Baudelaire / Libro In brossura
common.buy 10.89 €
Der Kinderkreuzzug Marcel Schwob / Libro In brossura
common.buy 10.89 €
Nuevas Tecnologías y Derechos Humanos Pérez Luño / Libro In brossura
common.buy 25.69 €

This book constitutes the thoroughly refereed postproceedings of the 13th International Symposium on Logic Based Program Synthesis and Transformation, LOPSTR 2003, held in Uppsala, Sweden in August 2003.The 12 revised full papers presented were carefully selected during two rounds of reviewing and revision from 32 submissions. Also included are an invited paper and abstracts of 5 papers presented at the workshop. The papers are organized in topical sections on specification and synthesis, verification, analysis, transformation and specialization, and constraints.

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 Maurice Bruynooghe
Lingua Inglese
Rilegatura Libro - In brossura
Data di pubblicazione 2004
Numero di pagine 238
EAN 9783540221746
ISBN 3540221743
Codice Libristo 01559466
Casa editrice Springer, Berlin
Peso 380
Dimensioni 156 x 234 x 13

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

Ute Indians of Colorado in the Twentieth Century Richard K. Young / Libro In brossura
common.buy 25.09 €
History of England, from the First Invasion by the Romans to the Accession of William and Mary in 1688, Volume 1 John Lingard D D / Libro Rigido
common.buy 37.79 €
Here I Stand Roland Herbert Bainton / Libro In brossura
common.buy 16.69 €
The Wildlife Games Bindi Irwin / Libro In brossura
common.buy 10.09 €
Rhyme Your Colours Kerrice Accarias / Libro In brossura
common.buy 9.29 €
Mathematical and Statistical Methods for Actuarial Sciences and Finance Marco Corazza / Libro Rigido
common.buy 223.59 €
Electromagnetic Linear Machines with Dual Halbach Array LIANG YAN / Libro In brossura
common.buy 122.09 €
Milton Nascimento and Lo Borges's The Corner Club Jonathon Grasse / Libro In brossura
common.buy 21.39 €
When The Ku Klux Rode (1912) Eyre Damer / Libro In brossura
common.buy 22.59 €
The Trappers of Arkansas: Or the Loyal Heart (1864) Gustave Aimard / Libro In brossura
common.buy 28.29 €
Catalogue of Political and Personal Satires; Preserved in the Department of prints and Drawings in the British Museum (Volume V) 1771-1783 Mary Dorothy George / Libro In brossura
common.buy 36.39 €
I migliori
In the Winter: 1000 Piece Puzzle GUTIERREZ LUCI / Gioco/giocattolo Puzzle
common.buy 14.29 €
Vintage Journal The Great Blue Outdoors Found Image Press / Libro In brossura
common.buy 7.79 €
Rebirth Stephanie Parker-Weaver / Libro In brossura
common.buy 18.09 €
Atlas of Diseases of the Nail Phoebe A. Rich / Libro Rigido
common.buy 172.29 €
Education as a Societal Contributor Ritva Jakku-Sihvonen / Libro In brossura
common.buy 76.09 €
Asia in the Making of Europe Edwin J. van Kley / Libro Rigido
common.buy 720.69 €
Data Structures, Algorithms, and Software Principles in C Thomas A. Standish / Libro In brossura
common.buy 244.39 €
I migliori
Incredible English: 2: Class Book Sarah Phillips / Libro In brossura
common.buy 18.89 €
In preparazione
Rise of The Super Furry Animals Ric Rawlins / Libro In brossura
common.buy 11.69 €

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?