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

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 125 b
51.09 €
Magazzino esterno Inviamo tra 5-8 giorni

Fino a 30 giorni per il reso

I clienti hanno acquistato anche

Biochemisches Handlexikon Andor Fodor / Libro In brossura
common.buy 52.49 €
Le Traite Sur Les Sacrifices Fong Et Chan De Se Ma T'Sien (1890) Edouard Chavannes / Libro In brossura
common.buy 23.89 €
Océanos de inmortalidad: Un círculo, seis mujeres y muchas vidas pasadas. Bea Panisello / Libro In brossura
common.buy 20.49 €
Niedliche BKH Katzenkinder (Wandkalender 2026 DIN A3 quer), CALVENDO Monatskalender Calvendo / Calendario/Agenda Calendario
common.buy 28.09 €
In preparazione
Masters of the Universe 1 - Das Buch des Bösen (Neuauflage) Diverse Autoren / Libro Rigido
common.buy 19.49 €
FARMERS MARKET - Una aplicación web / Libro In brossura
common.buy 40.99 €
LEGO® Harry Potter™ Kouzelnická zábava / Libro In brossura
common.buy 6.29 €
Ornamentvogelspinnen Henrik Krehenwinkel / Libro Rigido
common.buy 32.39 €
La mort sur ses épaules Farmer / Libro In brossura
common.buy 26.69 €
Coches del futuro: El DeLorean del siglo XXI y los nanomateriales Abg Technologies / Libro In brossura
common.buy 19.09 €
I migliori
Kúpte si družičku! Jacqueline Wilsonová / Libro In brossura
common.buy 7.09 €
Les Reformes Sociales Dreux-A / Libro In brossura
common.buy 10.89 €
Memorial Havrais, Guide Pratique Des Proprietaires, Locataires, Entrepreneurs & Industriels Fleury-V / Libro In brossura
common.buy 28.29 €
Lettres Parisiennes Sur Le Desir d'Etre Heureux. Partie 2 Jacquin-A-P / Libro In brossura
common.buy 15.99 €
Conservateur de la Vue: Suivi Du Manuel de l'Ingenieur Opticien Troisieme Edition Augmentee CHEVALLIER-J / Libro In brossura
common.buy 41.29 €
Protagonismo femenino en cuentos y leyendas de México y Centroamérica Anna Maria Fernández Poncela / Libro In brossura
common.buy 14.59 €

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 101.79 €
Hybrid Latex Particles Alex M. van Herk / Libro In brossura
common.buy 304.89 €
Production Planning in Automated Manufacturing Yves Crama / Libro In brossura
common.buy 49.89 €
Sciences in the Universities of Europe, Nineteenth and Twentieth Centuries Ana Simoes / Libro In brossura
common.buy 122.09 €
In preparazione Nuovi
Ahmadu Bamba and Decolonization Cheikh M. (Union College) Ndiaye / Libro In brossura
common.buy 41.69 €
Lost Founding Father William J. Cooper / Libro Rigido
common.buy 22.99 €
Nineteenth-Century Poetry and Liberal Thought Anna Barton / Libro Rigido
common.buy 105.09 €
Echoes Down a Dark Well Ric Wasley / Libro In brossura
common.buy 14.69 €
How To Be Free: A Practical Guide To Positive Living Livingstone Bvumbi / Libro In brossura
common.buy 8.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 7.19 €
Medical Imaging Techniques and Applications Marcus Lewis / Libro Rigido
common.buy 99.49 €
I migliori
100 Things to Know About Numbers, Computers & Coding NOT KNOWN / Libro Rigido
common.buy 9.19 €
South Windsor Claire Lobdell / Libro Rigido
common.buy 25.79 €
Information Geometry and Population Genetics Julian Hofrichter / Libro In brossura
common.buy 90.69 €
Coal Mining in Pakistan Mudassar Ali Raja / Libro In brossura
common.buy 35.29 €
Operational Costs in Acquisitions James R. Coffey / Libro In brossura
common.buy 45.79 €
First Victory Stewart Andrew Stewart / Libro elettronico Adobe ePub DRM
common.buy 20.29 €
Biology of Transcendence Joseph Chilton Pearce / Libro elettronico Adobe ePub DRM
common.buy 11.99 €
Lost Tucker's Island Kathleen Donnelly / Libro In brossura
common.buy 10.29 €
I migliori
BOOSTER GOLD COMP 2007 SERIES BK01 JOHNS GEOFF / Libro In brossura
common.buy 18.19 €
Intelligent Sustainable Systems Atulya Nagar / Libro In brossura
common.buy 284.59 €

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?