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

18th International Symposium, LOPSTR 2008, Valencia, Spain, July 17-18, 2008, Revised Selected Papers

Lingua IngleseInglese
Libro In brossura
Libro Logic-Based Program Synthesis and Transformation Michael Hanus
Codice Libristo: 01649407
Casa editrice Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, febbraio 2009
This book constitutes the thoroughly refereed post-conference proceedings of the 18th International... Descrizione completa
? points 132 b
53.79 €
Magazzino esterno Inviamo tra 5-8 giorni

30 giorni per il reso

I clienti hanno acquistato anche

Infiltration und Bodenfeuchte. Prozesse und Mechanismen der Versickerung. Wasserspeicherung in Böden und dessen Bedeutung für Pflanzen Antonio Salmeri / Libro In brossura
common.buy 16.89 €
Kultur ALS Naturgeschichte Christian Mehr / Libro Rigido
common.buy 123.09 €
Abrege de la Philosophie de Gassendi Francois Bernier / Libro In brossura
common.buy 31.29 €
Juhlajulkaisu: Suomalaisen Kansallis-Raittius-Veljeysseuran 25-Vuotisen Toiminnan Muistoksi, Toimituttanut S.K.-R.-Veljeysseura Anonymous / Libro In brossura
common.buy 25.89 €
Fisioterapeuta del Servicio de Salud de la Comunidad de Madrid. EDICIÓN COLECTIVOS CLAVIJO GAMERO / Libro In brossura
common.buy 36.59 €
casa dei suoni e delle parole. Percorsi di recupero e potenziamento delle abilità fonologiche e metafonologiche Giulia Fedrigo / Libro In brossura
common.buy 29.49 €
VOLTAREI A SEDUZIR-TE; CAMINHO PARA O CORAÇÇO MANN / Libro Libro
common.buy 7.59 €
Controstoria del franchismo. Fatti, retroscena e scomode verità sul regime del Caudillo Roberto Lobosco / Libro In brossura
common.buy 29.19 €
Economico
The Rational Male (Band II) - Deutsche Auflage Rollo Tomassi / Libro In brossura
common.buy 18.79 €

This book constitutes the thoroughly refereed post-conference proceedings of the 18th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2008, held in Valencia, Spain, during July 17-18, 2008. §The 11 revised full papers presented together with one invited talk were carefully reviewed and selected for inclusion in the book. LOPSTR traditionally solicits papers in the areas of specification, synthesis, verification, transformation, analysis, optimization, composition, security, reuse, applications and tools, component-based software development, software architectures, agent-based software development, and program refinement.

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 Michael Hanus
Lingua Inglese
Rilegatura Libro - In brossura
Data di pubblicazione 2009
Numero di pagine 185
EAN 9783642005145
ISBN 3642005144
Codice Libristo 01649407
Casa editrice Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Peso 308
Dimensioni 155 x 235 x 11

Categorie

Matematica e Scienze > Matematica > Calcolo e analisi matematica > Analisi numerica
Informatica e Tecnologia dell’Informazione > Programmazione / ingegneria del software > Algoritmi e strutture dati
Informatica e Tecnologia dell’Informazione > Programmazione / ingegneria del software > Compilatori e interpreti
Informatica e Tecnologia dell’Informazione > Programmazione / ingegneria del software > Linguaggi di programmazione e scripting: generale
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

Moses in America Melanie Jane Wright / Libro Rigido
common.buy 114.89 €
I migliori
Yandere Dark Elf: She Chased Me All the Way from Another World! Vol. 4 Nakanosora / Libro In brossura
common.buy 12.69 €
SURVEYING: ORGANIZATION, EXPERTISE, MANAGEMENT / Libro In brossura
common.buy 256.89 €
Explorers on Black Ice Bridge Alex Bell / Libro elettronico Adobe ePub DRM
common.buy 7.89 €
Cinderella Is Dead Kalynn Bayron / Libro In brossura
common.buy 9.19 €
Lucky Per Henrik Pontoppidan / Libro Rigido
common.buy 14.69 €
Imperator Anna Hackett / Libro In brossura
common.buy 12.59 €
Changing State Feminism J. Outshoorn / Libro In brossura
common.buy 110.59 €
List of Works in the New York Public Library Relating to Persia Ida Augusta Pratt / Libro In brossura
common.buy 18.69 €
A Dictionary of Christian Biography, Literature, Sects and Doctrines Hermogenes to Julianus V5 (LARGE PRINT EDITION) William Smith / Libro Rigido
common.buy 70.99 €
Daughter of the Sword Steve Bein / Libro In brossura
common.buy 21.29 €
Sexual Dysfunction A R Markos / Libro Rigido
common.buy 133.69 €
Disturbing Influence Julian Mitchell / Libro In brossura
common.buy 19.19 €
British America 1500-1800 Steven Sarson / Libro In brossura
common.buy 66.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?