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

11th International Workshop, LOPSTR 2001, Paphos, Cyprus, November 28-30, 2001. Selected Papers

Lingua IngleseInglese
Libro In brossura
Libro Logic Based Program Synthesis and Transformation Alberto Pettorossi
Codice Libristo: 01564461
Casa editrice Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, luglio 2002
This book constitutes the thoroughly refereed post-proceedings of the 11th International Workshop on... Descrizione completa
? points 132 b
53.79 €
Magazzino esterno Inviamo tra 5-8 giorni

30 giorni per il reso

I clienti hanno acquistato anche

Biochemisches Handlexikon Andor Fodor / Libro In brossura
common.buy 55.29 €
Le Traite Sur Les Sacrifices Fong Et Chan De Se Ma T'Sien (1890) Edouard Chavannes / Libro In brossura
common.buy 23.89 €
Les Reformes Sociales Dreux-A / Libro In brossura
common.buy 14.19 €
Memorial Havrais, Guide Pratique Des Proprietaires, Locataires, Entrepreneurs & Industriels Fleury-V / Libro In brossura
common.buy 35.29 €
Lettres Parisiennes Sur Le Desir d'Etre Heureux. Partie 2 Jacquin-A-P / Libro In brossura
common.buy 20.99 €
Conservateur de la Vue: Suivi Du Manuel de l'Ingenieur Opticien Troisieme Edition Augmentee CHEVALLIER-J / Libro In brossura
common.buy 49.79 €
Kúpte si družičku! Jacqueline Wilsonová / Libro In brossura
common.buy 8.29 €
Protagonismo femenino en cuentos y leyendas de México y Centroamérica Anna Maria Fernández Poncela / Libro In brossura
common.buy 16.19 €
FARMERS MARKET - Una aplicación web / Libro In brossura
common.buy 40.99 €
Masters of the Universe 1 - Das Buch des Bösen (Neuauflage) Diverse Autoren / Libro Rigido
common.buy 20.59 €
Niedliche BKH Katzenkinder (Wandkalender 2026 DIN A3 quer), CALVENDO Monatskalender Calvendo / Calendario/Agenda Calendario
common.buy 29.69 €
LEGO® Harry Potter™ Kouzelnická zábava / Libro In brossura
common.buy 7.59 €
Ornamentvogelspinnen Henrik Krehenwinkel / Libro Rigido
common.buy 34.49 €

This book constitutes the thoroughly refereed post-proceedings of the 11th International Workshop on Logic-Based Program Synthesis and Transformation, LOPSTR 2001, held in Paphos, Cyprus, in November 2001.The 13 revised full papers presented together with an invited paper were carefully selected and improved during two rounds of reviewing and revision. The papers are organized in topical sections on program transformation and equivalence, program verification, program analysis, program development, and program synthesis.

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 Alberto Pettorossi
Lingua Inglese
Rilegatura Libro - In brossura
Data di pubblicazione 2002
Numero di pagine 272
EAN 9783540439158
ISBN 3540439153
Codice Libristo 01564461
Casa editrice Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Peso 880
Dimensioni 155 x 235 x 16

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 > Progettazione e analisi di sistemi
Informatica e Tecnologia dell’Informazione > Scienza dei calcolatori > Architettura e progettazione logica dei computer
Informatica e Tecnologia dell’Informazione > Scienza dei calcolatori > Intelligenza artificiale
Medicina e Infermieristica > Medicina: argomenti di interesse generale
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

Models in Cooperative Game Theory Rodica Branzei / Libro In brossura
common.buy 107.29 €
Hybrid Latex Particles Alex M. van Herk / Libro In brossura
common.buy 321.39 €
Production Planning in Automated Manufacturing Yves Crama / Libro In brossura
common.buy 57.79 €
In preparazione Nuovi
Ahmadu Bamba and Decolonization Cheikh M. (Union College) Ndiaye / Libro In brossura
common.buy 46.29 €
Sciences in the Universities of Europe, Nineteenth and Twentieth Centuries Ana Simoes / Libro In brossura
common.buy 128.69 €
Lost Founding Father William J. Cooper / Libro Rigido
common.buy 28.19 €
Echoes Down a Dark Well Ric Wasley / Libro In brossura
common.buy 18.19 €
How To Be Free: A Practical Guide To Positive Living Livingstone Bvumbi / Libro In brossura
common.buy 10.69 €
The Question of Alsace and Lorraine Thomas Willing Balch / Libro In brossura
common.buy 16.39 €
Mind Power Secrets: Road To Riches Shana O Lean / Libro In brossura
common.buy 16.29 €
Little Book Of Eternal Wisdom Blessed Henry Suso / Libro In brossura
common.buy 14.49 €
Counterfeit Souls Va Andrews / Libro In brossura
common.buy 8.89 €
Medical Imaging Techniques and Applications Marcus Lewis / Libro Rigido
common.buy 124.99 €
I migliori
100 Things to Know About Numbers, Computers & Coding NOT KNOWN / Libro Rigido
common.buy 13.89 €
South Windsor Claire Lobdell / Libro Rigido
common.buy 25.79 €
Information Geometry and Population Genetics Julian Hofrichter / Libro In brossura
common.buy 110.89 €
Coal Mining in Pakistan Mudassar Ali Raja / Libro In brossura
common.buy 37.29 €
Operational Costs in Acquisitions James R. Coffey / Libro In brossura
common.buy 55.19 €
First Victory Stewart Andrew Stewart / Libro elettronico Adobe ePub DRM
common.buy 13.19 €
Essential Business Grammar Builder, w. Audio-CD Paul Emmerson / Libro In brossura
common.buy 42.49 €
Dark Coulee Mary Logue / Libro In brossura
common.buy 15.39 €
Landscape Design / Libro Rigido
common.buy 62.59 €
I migliori
John Donne John Donne / Libro In brossura
common.buy 11.39 €
Community, Economic Creativity, and Organization Ash Amin / Libro Rigido
common.buy 80.99 €

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?