«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

19th International Symposium, LOPSTR 2009, Coimbra, Portugal, September 2009, Revised Selected Papers

Idioma InglésInglés
Libro Tapa blanda
Libro Logic-Based Program Synthesis and Transformation Danny De Schreye
Código Libristo: 01655691
Editores Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, abril 2010
This volume constitutes the thoroughly refereed post-conference proceedings of the 19th Internationa... Descripción completa
? points 139 b
56.59 €
Almacenamiento externo Envío en 5-8 días

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

Clientes que también han comprado

Racconti di Natale Charles Dickens / Libro Tapa blanda
common.buy 7.99 €
Geometrie Symplectique et Mecanique Claude Albert / Libro Tapa blanda
common.buy 39.69 €
Lumière sur Alzheimer Dr Ky Tran / Libro Tapa blanda
common.buy 15.59 €
Таро. Истоки традиции. "Иллюстрированный ключ к Таро" А.Э. Уэйта, "Книга Т" С. Мазерса и другие труды классиков "английской школы". Перевод и коммента Анна Огински / Libro Tapa dura
common.buy 33.49 €
Fantastische Häkelfreunde 2 Amigurumipatterns.net / Libro Tapa blanda
common.buy 15.09 €
Kártyavetés, de hogyan Carla Ferguson / Libro Tapa blanda
common.buy 13.79 €
Bis die Sterne zittern Johannes Herwig / Libro electrónico Adobe ePub DRM
common.buy 11.59 €
Rendel - Cycle of Revenge, 1 Blu-ray Jesse Haaja / Video Blu-ray
common.buy 22.29 €
Identificação de cultivares de tomate (Lycopersicon esculentum Mill) Selvarani Karuppiah / Libro Tapa blanda
common.buy 63.89 €
Sieben Abende vor dem Schlafengehen - Flugmaschinen Patrik Lumen / Libro Tapa blanda
common.buy 14.49 €
Remembering in the Renaissance: Humanist Narratives of the Sack of Rome Kenneth Gouwens / Libro Tapa dura
common.buy 218.69 €
Beethovens Kammermusik Albrecht Riethmüller / Libro Tapa dura
common.buy 108.89 €
Der große Gatsby F. Scott Fitzgerald / Libro Tapa dura
common.buy 14.69 €
Die Chemische Blockierung Des Adrenergischen Systems Am Menschen Arnold Bernsmeier / Libro Tapa blanda
common.buy 58.09 €
Welt der Zahl - Ausgabe 2014 für Bayern Karin Baumgartner / Libro Hoja
common.buy 26.79 €
Slavné melodie v lehké úpravě pro klavír 6 R. Linhart / Libro Tapa blanda
common.buy 9.89 €
Aberglauben aus Masuren M Toeppen / Libro Tapa blanda
common.buy 17.79 €
Kundenloyalitat als Erfolgsgroesse im Customer Relationship Management Lars Edingloh / Libro Tapa blanda
common.buy 72.79 €
Her a Hwyl Mathemateg - Datrys Problemau, Oed 7-9 (Problem Solving Made Easy, Ages 7-9) Joshua Head / Libro Tapa blanda
common.buy 7.89 €
Übungen zum italienischen Wortschatz Wolfgang Reumuth / Libro Tapa blanda
common.buy 10.69 €
Archetypen, Innere Bilder und Körpersymbolik Detlef Kappert / Libro Tapa blanda
common.buy 16.99 €
L'AVENTURA DE L'HEROIC CAVALLER FILIVERT ANNE-GAELLE BALPE / Libro Tapa dura
common.buy 20.39 €
Ueber Wissenschaftliche Und Nichtwissenschaftliche Philosophie (1883) Alois Riehl / Libro Tapa blanda
common.buy 19.99 €
gelosia da orango Irena Trevisan / Libro Tapa dura
common.buy 18.19 €

This volume constitutes the thoroughly refereed post-conference proceedings of the 19th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2009, held in Coimbra, Portugal, during September 9-11, 2009. The 14 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.

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 Danny De Schreye
Idioma Inglés
Encuadernación Libro - Tapa blanda
Fecha de publicación 2010
Número de páginas 205
EAN 9783642125911
ISBN 3642125913
Código Libristo 01655691
Editores Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Peso 338
Dimensiones 155 x 235 x 12

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 > Programación informática/desarrollo de software > Algoritmos y estructuras de datos
Computación e informática > Programación informática/desarrollo de software > Compiladores e intérpretes
Computación e informática > Programación informática/desarrollo de software > Lenguajes de programación y extensión/scripting: general
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 > Teoría matemática de la computación
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
Computación e informática > Sistemas operativos
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

In the Electric Eden: Stories Nick Arvin / Libro Tapa blanda
common.buy 14.59 €
House Of Shadows Nicola Cornick / Libro Tapa blanda
common.buy 18.49 €
Dreams to Dust: A Tale of the Oklahoma Land Rush Sheldon Russell / Libro Tapa blanda
common.buy 25.09 €
ESSAYS ON WOMAN'S TRUE DESTINY, RESPONSI ANGELIQUE LE MARTIN / Libro Tapa dura
common.buy 30.79 €
Chapter in the History of Cleveland Clarence Monroe Burton / Libro Tapa dura
common.buy 27.89 €
Yayoi Kusama Catherine Taft / Libro Tapa dura
common.buy 55.09 €
Production Planning and Control for the Mass Production Plant: Mass Production Series 1-7 American Management Association / Libro Tapa blanda
common.buy 30.79 €
Aiden the Alligator: An interactive learning book A T Broker / Libro Tapa blanda
common.buy 12.59 €
Anthropological Studies in the Strange Sexual Practices of All Races in All Ages Iwan Bloch / Libro Tapa dura
common.buy 45.59 €
Selected Works of Jawaharlal Nehru Madhavan K. Palat / Libro Tapa dura
common.buy 49.79 €
Why Was Queen Victoria Such a Prude?: ...and Other Historical Myths and Follies David Haviland / Libro Tapa blanda
common.buy 13.59 €
Hey Kids! Comics! Howard Victor Chaykin / Libro Tapa blanda
common.buy 17.29 €
Ordinary People as Mass Murderers O. Jensen / Libro Tapa blanda
common.buy 67.09 €
Planning, Law and Economics Needham / Libro Tapa blanda
common.buy 79.79 €
Popular
Last Of The Breed Louis L'Amour / Libro Tapa blanda
common.buy 8.09 €
Weiss Ratings Guide to Health Insurers, Spring 2024 Weiss Ratings Weiss Ratings / Libro Tapa blanda
common.buy 417.79 €
Mrs. Martin's Company: And Other Stories (1896) Jane Barlow / Libro Tapa blanda
common.buy 28.79 €
Where Do We Go from Here? / Libro Tapa blanda
common.buy 20.99 €
Folk-Lore Society for collecting and printing Relics of Popular Antiquities, Marian Roalfe Cox / Libro Tapa blanda
common.buy 39.39 €
Ultimate Keto Breakfast Cookbook for Women over 50 Katie Attanasio / Libro Tapa dura
common.buy 26.59 €
Popular
Alice in Borderland, Vol. 7 Haro Aso / Libro Tapa blanda
common.buy 16.49 €
C. Plinii Secundi Naturalis Historia, Volumes 1-2 Pliny (the Elder.) / Libro Tapa dura
common.buy 41.59 €
Minami's Lover H. Paige / Libro Tapa dura
common.buy 25.89 €
Tall Man In A Low Land Harry Pearson / Libro Tapa blanda
common.buy 15.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?