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

21st International Symposium, LOPSTR 2011, Odense, Denmark, July 18-20, 2011. Revised Selected Papers

Lingua IngleseInglese
Libro In brossura
Libro Logic-Based Program Synthesis and Transformation Germán Vidal
Codice Libristo: 01661777
Casa editrice Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, ottobre 2012
This book constitutes the thoroughly refereed proceedings of the 21st International Symposium on Log... Descrizione completa
? points 115 b
46.99 €
Magazzino esterno Inviamo tra 5-8 giorni

Fino a 30 giorni per il reso

I clienti hanno acquistato anche

Weltausstellung in Philadelphia Und Die Deutsche Industrie F. Goldschmidt / Libro In brossura
common.buy 52.49 €
Борис Гребенщиков. Песни для голоса и фортепиано (гитары). Борис Гребенщиков / Pubblicazioni cartacee Note
common.buy 7.49 €
1040 PREGUNTAS TIPO TEST. LEY DE CONTRATOS DEL SECTOR PUBLICO VALERA / Libro In brossura
common.buy 23.39 €
Pokémon - Maxi-colo Paldea The Pokémon Company / Libro In brossura
common.buy 5.99 €
Новое руководство по таро. 78 карт и руководство по гаданию Рэйчел Поллак / Libro binding.
common.buy 29.99 €
Dzia?alno?? do?wiadczalna i badawcza w in?ynierii l?dowej i wodnej F. Retamal / Libro In brossura
common.buy 37.29 €
Artikel Marketing Blitz Andre Sternberg / Libro elettronico Adobe ePub DRM
common.buy 1.09 €
L'Invention pharmaceutique. La pharmacie française entre l'Etat et la société au XXe siècle Sophie Chauveau / Libro In brossura
common.buy 29.29 €
Les silences de Margaret Paul Couturiau / Libro In brossura
common.buy 20.89 €
O dôstojnosti človeka Božena Seilerová / Libro In brossura
common.buy 7.19 €
Le Grand livre de la nature Anonyme / Libro elettronico Adobe ePub DRM
common.buy 12.09 €
Llibre d'amic i amat Beato Ramón Llull / Libro In brossura
common.buy 15.89 €
Przyjaciel Is Anna Helena Kubiak / Libro elettronico Adobe ePub DRM
common.buy 1.09 €
Looney Tunes POP!&Buddy Animation Vinyl Figure Sylvester&Tweety 9 cm Gioco/giocattolo Giocattolo
common.buy 21.39 €
Catalogue Des Livres Chinois, Coreens, Japonais, Etc Tome 3 Bibliotheque Nationale / Libro In brossura
common.buy 15.99 €
I migliori
Šťastné příběhy Čtyřlístku Ljuba Štíplová / Libro Rigido
common.buy 16.49 €
Healing Hotels of the World / Libro Rigido
common.buy 48.69 €
Madchen in der Sprayerkultur? Lena Rheindorf / Libro In brossura
common.buy 16.89 €
Leben Neben Der Wohlstandsgesellschaft Walter Bien / Libro In brossura
common.buy 57.19 €
Shania- Philosophie Thomas Heim / Libro In brossura
common.buy 13.39 €
L'administration de la société anonyme dans le nouveau droit OHADA Hervé Koundou Amang / Libro In brossura
common.buy 76.39 €
213-295 Walter Gollwitzer / Libro Rigido
common.buy 498.99 €
Od Čertovy Lhotky k Mariánským Horám collegium / Libro Rigido
common.buy 8.09 €
Poemas hesiódicos Hesíodo / Libro In brossura
common.buy 10.89 €

This book constitutes the thoroughly refereed proceedings of the 21st International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2011, held in Odense, Denmark in July 2011. The 6 revised full papers presented together with 8 additional papers were carefully reviewed and selected from 28 submissions. Among the topics covered are specification, synthesis, verification, analysis, optimization, specialization, security, certification, applications and tools, program/model manipulation, and transformation techniques for any programming language paradigm.

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 Germán Vidal
Lingua Inglese
Rilegatura Libro - In brossura
Data di pubblicazione 2012
Numero di pagine 254
EAN 9783642322105
ISBN 3642322107
Codice Libristo 01661777
Casa editrice Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Peso 409
Dimensioni 155 x 235 x 15

Categorie

Tecnologia, Ingegneria, Agricoltura, processi industriali > Ingegneria elettronica e delle comunicazioni > Ingegneria elettronica > Ingegneria del controllo automatico > Robotica
Informatica e Tecnologia dell’Informazione > Scienza dei calcolatori > Teoria matematica della computazione > Matematica per informatici
Matematica e Scienze > Matematica > Matematica discreta
Informatica e Tecnologia dell’Informazione > Programmazione / ingegneria del software > Ingegneria del software
Informatica e Tecnologia dell’Informazione > Scienza dei calcolatori > Architettura e progettazione logica dei computer
Informatica e Tecnologia dell’Informazione > Scienza dei calcolatori > Intelligenza artificiale
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

Mojave Syntax MUNRO / Libro In brossura
common.buy 50.29 €
Pro VB 2010 and the .NET 4.0 Platform A Troelsen / Libro In brossura
common.buy 43.39 €
Artificial Intelligence and Dynamic Systems for Geophysical Applications Alexej Gvishiani / Libro In brossura
common.buy 152.59 €
Handbook of Plant Cell Biotechnology AGATHA WILSON / Libro Rigido
common.buy 139.19 €
Nanoparticle Engineering for Chemical-Mechanical Planarization Jea-Gun Park / Libro Rigido
common.buy 260.29 €
One Man's Journey Tadeusz P Wojcik / Libro In brossura
common.buy 17.19 €
Apothecary Dereck Hucklesby / Libro In brossura
common.buy 17.99 €
Transcatheter Aortic Valve Implantation Catherine M. Otto / Libro Rigido
common.buy 160.29 €
Corr James K Polk Vol 9 James K Polk / Libro Rigido
common.buy 60.49 €
Enabling Technologies for High Spectral-efficiency Coherent Optical Communication Networks Xiang Zhou / Libro Rigido
common.buy 141.49 €
Manual of Gynecology David Berry Hart / Libro Rigido
common.buy 38.69 €
Splat the Cat Rob Scotton / Libro Rigido
common.buy 12.69 €
National Wildlife Federation Field Guide to Trees of North America Bruce Kershner / Libro In brossura
common.buy 15.89 €
Shaina's Pocket Posh Journal, Tulip Andrews McMeel Publishing / Libro In brossura
common.buy 6.19 €
Research Anthology on Smart Grid and Microgrid Development, VOL 3 Information Reso Management Association / Libro Rigido
common.buy 616.69 €
Industrial Energy Management and Sustainability Miriam Benedetti / Libro Rigido
common.buy 31.59 €
The Tragedy of Othello, the Moor of Venice William Shakespeare / Libro In brossura
common.buy 6.79 €
Disruptive Urbanism, Glocal Urbanity J. Acebillo / Libro In brossura
common.buy 47.79 €
Big Data for Managers Atal Malviya / Libro In brossura
common.buy 64.49 €
How Speakers, Trainers, and Coaches Get More Bookings Mark Davis / Libro In brossura
common.buy 9.69 €
Life of Thomas Ellwood Thomas Ellwood / Libro In brossura
common.buy 31.79 €
Valeria Letter Tracing for Kids Trace my Name Workbook: Tracing Books for Kids ages 3 - 5 Pre-K & Kindergarten Practice Workbook Elise Garcia / Libro In brossura
common.buy 10.69 €
Advances in Plant Biopesticides Dwijendra Singh / Libro Rigido
common.buy 152.59 €
IUTAM Symposium on Discretization Methods for Evolving Discontinuities Alain Combescure / Libro Rigido
common.buy 95.49 €

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?