«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

23rd International Symposium, LOPSTR 2013, Madrid, Spain, September 18-19, 2013, Revised Selected Papers

Idioma InglésInglés
Libro Tapa blanda
Libro Logic-Based Program Synthesis and Transformation Gopal Gupta
Código Libristo: 09094864
Editores Springer International Publishing AG, diciembre 2014
This book constitutes the thoroughly refereed post-conference proceedings of the 23rd International... Descripción completa
? points 133 b
54.29 €
Almacenamiento externo Envío en 5-8 días

Hasta 30 días para devoluciones

Clientes que también han comprado

Monsieur Et Madame Frontal, Ou Cranomanie Et Romantisme, Comedie-Critique En 1 Acte Colombat-M / Libro Tapa blanda
common.buy 14.19 €
Plop. Libro bagno Matt Wolf / Libro Tapa blanda
common.buy 5.79 €
La Guida Completa all'alimentazione nella Boxe: Massimizza il tuo Potenziale Correa / Libro Tapa blanda
common.buy 22.79 €
Geheimnisse des Alten und des Neuen Bundes Anna Katharina Emmerick / Libro Tapa dura
common.buy 17.69 €
Two worlds Jitka Herodesová / Libro Tapa blanda
common.buy 2.09 €
Religie Vroeger En Nu John.G.O. De Koker / Libro Tapa blanda
common.buy 18.59 €
Gauguin, voyage au bout de la peinture Vauday / Libro Tapa blanda
common.buy 27.19 €
O Papel Do Advogado NAS Transacoes Imobiliarias Walter Figueiredo de Almeida / Libro Tapa blanda
common.buy 39.39 €

This book constitutes the thoroughly refereed post-conference proceedings of the 23rd International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2013, held in Madrid, Spain, in September 2013. The 13 revised full papers presented together with 2 invited talks were carefully reviewed and selected from 21 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 Gopal Gupta, Ricardo Pe?a
Idioma Inglés
Encuadernación Libro - Tapa blanda
Fecha de publicación 2014
Número de páginas 237
EAN 9783319141244
ISBN 3319141244
Código Libristo 09094864
Editores Springer International Publishing AG
Peso 3869
Dimensiones 155 x 235 x 13

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

Handbook of Evidence-Based Practices in Intellectual and Developmental Disabilities Nirbhay N. Singh / Libro Tapa dura
common.buy 504.59 €
Badger the Mystical Mutt and the Flying Fez Lyn McNicol / Libro Tapa blanda
common.buy 7.19 €
MOLESKINE 2023 18MONTH WEEKLY HORIZONTAL MOLESKINE / Libro Tapa dura
common.buy 23.19 €
Business Basics Berggren Newton Benny Berggren Newton / Libro Tapa blanda
common.buy 22.99 €
The Prickly Pear And Other Cacti As Food For Stock (1905) David Griffiths / Libro Tapa blanda
common.buy 19.99 €
A Mere Cypher: A Novel (1893) Mary Angela Dickens / Libro Tapa blanda
common.buy 39.69 €
Promotion of learning in India during Muhammadan rule by Muhammadans NARENDRA NATH LAW / Libro Tapa blanda
common.buy 39.29 €
Can I Trust You? Yoram Solomon / Libro Tapa blanda
common.buy 12.59 €
Gavin's 100 Day Diary K P Lee / Libro Tapa blanda
common.buy 9.79 €
40 Prayers for Nurses D Duane Engler / Libro Tapa blanda
common.buy 8.69 €
Criminology, Conflict Resolution and Restorative Justice K. McEvoy / Libro Tapa blanda
common.buy 116.19 €
Around the House Roger Priddy / Libro Tapa dura
common.buy 9.09 €
Iron Industry Richard Hayman / Libro Tapa blanda
common.buy 11.79 €
Grace by Which I Stand Lin Lockamy / Libro Tapa blanda
common.buy 13.79 €
May I Quote You on That? Stephen Spector / Libro Tapa blanda
common.buy 16.49 €
Twilight at the Equator Jaime Manrique / Libro Tapa blanda
common.buy 19.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?