«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

Hasta 30 días para devoluciones

Clientes que también han comprado

Weltausstellung in Philadelphia Und Die Deutsche Industrie F. Goldschmidt / Libro Tapa blanda
common.buy 58.19 €
Борис Гребенщиков. Песни для голоса и фортепиано (гитары). Борис Гребенщиков / Artículos impresos Partituras
common.buy 8.89 €
Violenza domestica contro le donne Flaviana Aparecida de Mello / Libro Tapa blanda
common.buy 23.69 €
Bougie verre simple coloris noir - Senteur Nag Champa / Libro binding.
common.buy 9.49 €
Les silences de Margaret Paul Couturiau / Libro Tapa blanda
common.buy 24.79 €
Przyjaciel Is Anna Helena Kubiak / Libro electrónico Adobe ePub DRM
common.buy 1.09 €
Looney Tunes POP!&Buddy Animation Vinyl Figure Sylvester&Tweety 9 cm Juego/Juguete Juguete
common.buy 17.69 €
L'Invention pharmaceutique. La pharmacie française entre l'Etat et la société au XXe siècle Sophie Chauveau / Libro Tapa blanda
common.buy 35.19 €
Pokémon - Maxi-colo Paldea The Pokémon Company / Libro Tapa blanda
common.buy 6.49 €
1040 PREGUNTAS TIPO TEST. LEY DE CONTRATOS DEL SECTOR PUBLICO VALERA / Libro Tapa blanda
common.buy 25.19 €
Новое руководство по таро. 78 карт и руководство по гаданию Рэйчел Поллак / Libro binding.
common.buy 35.39 €
Dzia?alno?? do?wiadczalna i badawcza w in?ynierii l?dowej i wodnej F. Retamal / Libro Tapa blanda
common.buy 39.41 €
O dôstojnosti človeka Božena Seilerová / Libro Tapa blanda
common.buy 9.69 €
Artikel Marketing Blitz Andre Sternberg / Libro electrónico Adobe ePub DRM
common.buy 1.09 €
Ausbildung im Einzelhandel - Neubearbeitung - Allgemeine Ausgabe - 1. Ausbildungsjahr Christian Fritz / Libro Tapa blanda
common.buy 40.09 €
Le Grand livre de la nature Anonyme / Libro electrónico Adobe ePub DRM
common.buy 12.30 €
Poemas hesiódicos Hesíodo / Libro Tapa blanda
common.buy 12.19 €
Šťastné příběhy Čtyřlístku Ljuba Štíplová / Libro Tapa dura
common.buy 20.69 €
Healing Hotels of the World / Libro Tapa dura
common.buy 58.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 €
Shania- Philosophie Thomas Heim / Libro Tapa blanda
common.buy 14.89 €
L'administration de la société anonyme dans le nouveau droit OHADA Hervé Koundou Amang / Libro Tapa blanda
common.buy 85.39 €
213-295 Walter Gollwitzer / Libro Tapa dura
common.buy 551.29 €

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 65.39 €
Pro VB 2010 and the .NET 4.0 Platform A Troelsen / Libro Tapa blanda
common.buy 54.29 €
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 143.09 €
The Tragedy of Othello, the Moor of Venice William Shakespeare / Libro Tapa blanda
common.buy 9.09 €
One Man's Journey Tadeusz P Wojcik / Libro Tapa blanda
common.buy 22.09 €
Corr James K Polk Vol 9 James K Polk / Libro Tapa dura
common.buy 62.19 €
Manual of Gynecology David Berry Hart / Libro Tapa dura
common.buy 48.79 €
Cell Death Regulation in Health and Disease - Part A Lorenzo Galluzzi / Libro electrónico Adobe ePub DRM
common.buy 254.79 €
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.99 €
My Own Words Ruth Bader Ginsburg / Audio CD de audio
common.buy 43.21 €
Shaina's Pocket Posh Journal, Tulip Andrews McMeel Publishing / Libro Tapa blanda
common.buy 8.29 €
Próximamente
Transcatheter Aortic Valve Implantation Catherine M. Otto / Libro Tapa dura
common.buy 201.79 €
Research Anthology on Smart Grid and Microgrid Development, VOL 3 Information Reso Management Association / Libro Tapa dura
common.buy 726.19 €
Industrial Energy Management and Sustainability Miriam Benedetti / Libro Tapa dura
common.buy 41.49 €
Enabling Technologies for High Spectral-efficiency Coherent Optical Communication Networks Xiang Zhou / Libro Tapa dura
common.buy 179.19 €
Big Data for Managers Atal Malviya / Libro Tapa blanda
common.buy 83.09 €
Educational Dimensions of School Lunch Suzanne Rice / Libro Tapa blanda
common.buy 29.29 €
Disruptive Urbanism, Glocal Urbanity J. Acebillo / Libro Tapa blanda
common.buy 61.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.99 €
Life of Thomas Ellwood Thomas Ellwood / Libro Tapa blanda
common.buy 32.69 €
Private Papers Of William Wilberforce (1897) William Wilberforce / Libro Tapa blanda
common.buy 33.69 €
How Speakers, Trainers, and Coaches Get More Bookings Mark Davis / Libro Tapa blanda
common.buy 13.09 €

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?