«Comprobar estado del pedido»
LIBRISTO
LIBROAMANTO
obligatorio
Contraseña olvidada
Entre a formar parte de una comunidad de amantes de los libros del mundo entero y acceda a un sinfín de ventajas. Crear una cuenta gratis
0
Envío gratuito con Zásilkovna para compras superiores a 59.99 €
Mensajería SEUR 4.99 € Mensajería GLS 7.99 € Mensajería Correos 5.49 € Mensajería DHL 5.49 € Punto SEUR 3.99 €
phone Contacto phoneCómo comprar
Envío gratis a partir de 69,99 euros.

Logic-Based Program Synthesis and Transformation

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

Idioma InglésInglés
Libro Tapa blanda
Libro Logic-Based Program Synthesis and Transformation Germán Vidal
Código Libristo: 01661777
Editores Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, octubre 2012
This book constitutes the thoroughly refereed proceedings of the 21st International Symposium on Log... Descripción completa
? points 127 b
52.09 €
Almacenamiento externo Envío en 5-8 días

Política de devolución de 30 días

Clientes que también han comprado

Weltausstellung in Philadelphia Und Die Deutsche Industrie F. Goldschmidt / Libro Tapa blanda
common.buy 58.09 €
Борис Гребенщиков. Песни для голоса и фортепиано (гитары). Борис Гребенщиков / Artículos impresos Partituras
common.buy 8.79 €
Artikel Marketing Blitz Andre Sternberg / Libro electrónico Adobe ePub DRM
common.buy 1.09 €
Le Grand livre de la nature Anonyme / Libro electrónico Adobe ePub DRM
common.buy 12.19 €
O dôstojnosti človeka Božena Seilerová / Libro Tapa blanda
common.buy 9.69 €
Pokémon - Maxi-colo Paldea The Pokémon Company / Libro Tapa blanda
common.buy 7.69 €
Healing Hotels of the World / Libro Tapa dura
common.buy 60.09 €
Новое руководство по таро. 78 карт и руководство по гаданию Рэйчел Поллак / Libro binding.
common.buy 35.39 €
1040 PREGUNTAS TIPO TEST. LEY DE CONTRATOS DEL SECTOR PUBLICO VALERA / Libro Tapa blanda
common.buy 25.29 €
Šťastné příběhy Čtyřlístku Ljuba Štíplová / Libro Tapa dura
common.buy 22.99 €
Les silences de Margaret Paul Couturiau / Libro Tapa blanda
common.buy 25.99 €
Madchen in der Sprayerkultur? Lena Rheindorf / Libro Tapa blanda
common.buy 17.89 €
Leben Neben Der Wohlstandsgesellschaft Walter Bien / Libro Tapa blanda
common.buy 63.39 €
Soeur Fesne, Farce Nouvelle A. V. Personnages TECHENER / Libro Tapa blanda
common.buy 14.19 €
Ausbildung im Einzelhandel - Neubearbeitung - Allgemeine Ausgabe - 1. Ausbildungsjahr Christian Fritz / Libro Tapa blanda
common.buy 39.99 €
Shania- Philosophie Thomas Heim / Libro Tapa blanda
common.buy 14.89 €
Meditaciones para el aula: 38 meditaciones guiadas para uso educativo y 48 propuestas para el desarrollo personal Sánchez Ramos / Libro Tapa blanda
common.buy 19.79 €
Próximamente
LA FIESTA DE DISFRACES Quílez Ibáñez / Libro Tapa blanda
common.buy 23.79 €
Kdo mi pomůže Jaroslav Gering / Libro Tapa dura
common.buy 9.19 €
Catalogue Des Livres Chinois, Coreens, Japonais, Etc Tome 3 Bibliotheque Nationale / Libro Tapa blanda
common.buy 21.99 €
L'administration de la société anonyme dans le nouveau droit OHADA Hervé Koundou Amang / Libro Tapa blanda
common.buy 85.39 €

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.

Actriz & Políglota
EWA KASP para
Visualizar el vídeo
Ewa Kasp
Libristo tiene la oferta más extensa de literatura en idiomas extranjeros. Por eso compran aquí sus libros.

Sobre el libro

Nombre y apellidos Logic-Based Program Synthesis and Transformation
Autor Germán Vidal
Idioma Inglés
Encuadernación Libro - Tapa blanda
Fecha de publicación 2012
Número de páginas 254
EAN 9783642322105
ISBN 3642322107
Código Libristo 01661777
Editores Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Peso 409
Dimensiones 155 x 235 x 15

Categorías

Tecnología, ingeniería, agricultura, procedimientos industriales > Ingeniería electrónica y de las comunicaciones > Ingeniería electrónica > Ingeniería de control automático > Robótica
Computación e informática > Ciencias de la computación > Teoría matemática de la computación > Matemáticas para informáticos
Matemáticas y ciencias > Matemáticas > Matemáticas discretas
Computación e informática > Programación informática/desarrollo de software > Ingeniería del software
Computación e informática > Ciencias de la computación > Arquitectura y diseño lógico de ordenadores
Computación e informática > Ciencias de la computación > Inteligencia artificial
Regale este libro hoy
Es fácil
1 Añadir al carrito y elegir Entregar como regalo en el checkout 2 Le enviaremos un vale 3 El libro llegará a la dirección del destinatario

También puede interesarle

Mojave Syntax MUNRO / Libro Tapa blanda
common.buy 60.49 €
Artificial Intelligence and Dynamic Systems for Geophysical Applications Alexej Gvishiani / Libro Tapa blanda
common.buy 169.09 €
Handbook of Plant Cell Biotechnology AGATHA WILSON / Libro Tapa dura
common.buy 139.19 €
Nanoparticle Engineering for Chemical-Mechanical Planarization Jea-Gun Park / Libro Tapa dura
common.buy 294.79 €
Shaina's Pocket Posh Journal, Tulip Andrews McMeel Publishing / Libro Tapa blanda
common.buy 8.09 €
Corr James K Polk Vol 9 James K Polk / Libro Tapa dura
common.buy 60.49 €
Enabling Technologies for High Spectral-efficiency Coherent Optical Communication Networks Xiang Zhou / Libro Tapa dura
common.buy 174.49 €
Splat the Cat Rob Scotton / Libro Tapa dura
common.buy 16.99 €
National Wildlife Federation Field Guide to Trees of North America Bruce Kershner / Libro Tapa blanda
common.buy 20.89 €
The Tragedy of Othello, the Moor of Venice William Shakespeare / Libro Tapa blanda
common.buy 8.89 €
Big Data for Managers Atal Malviya / Libro Tapa blanda
common.buy 77.69 €
Valeria Letter Tracing for Kids Trace my Name Workbook: Tracing Books for Kids ages 3 - 5 Pre-K & Kindergarten Practice Workbook Elise Garcia / Libro Tapa blanda
common.buy 10.69 €
How Speakers, Trainers, and Coaches Get More Bookings Mark Davis / Libro Tapa blanda
common.buy 12.69 €
Disruptive Urbanism, Glocal Urbanity J. Acebillo / Libro Tapa blanda
common.buy 60.89 €
Industrial Energy Management and Sustainability Miriam Benedetti / Libro Tapa dura
common.buy 40.39 €
Research Anthology on Smart Grid and Microgrid Development, VOL 3 Information Reso Management Association / Libro Tapa dura
common.buy 736.39 €
Tibetan Yogas of Dream and Sleep, The Tenzin Wangyal Rinpoche / Libro electrónico Adobe ePub DRM
common.buy 21.29 €
Proceedings of the 2nd International Conference on Cognitive Based Information Processing and Applications (CIPA 2022) Bernard J. Jansen / Libro Tapa blanda
common.buy 394.19 €
Essentials of ENT Surgical Procedures Zohaib Siddiqui / Libro Tapa blanda
common.buy 99.59 €
Data Mining With Decision Trees: Theory And Applications Oded Z. Maimon / Libro Tapa dura
common.buy 138.39 €
IUTAM Symposium on Discretization Methods for Evolving Discontinuities Alain Combescure / Libro Tapa dura
common.buy 119.89 €
Added Value of Geographical Information Systems in Public and Environmental Health M.J. de Lepper / Libro Tapa dura
common.buy 119.09 €
Collaborative Design Management Stephen Emmitt / Libro Tapa blanda
common.buy 79.79 €
Politics and Parentela in Paraiba Linda Lewin / Libro Tapa dura
common.buy 217.89 €

Inicio de sesión

Inicie sesión en su cuenta. ¿No tiene una cuenta Libristo? ¡Cree una ahora!

 
obligatorio
obligatorio
Contraseña olvidada

¿No tiene cuenta? Descubra las ventajas de tener una cuenta Libristo.

Si tiene una cuenta Libristo, lo tendrá todo bajo control.

Crear una cuenta Libristo
Asesor de libros Libroamiko
Hola, soy Libroamiko, ¿puedo ayudarte?