«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

25th International Symposium, LOPSTR 2015, Siena, Italy, July 13-15, 2015. Revised Selected Papers

Idioma InglésInglés
Libro Tapa blanda
Libro Logic-Based Program Synthesis and Transformation Moreno Falaschi
Código Libristo: 02836544
Editores Springer International Publishing AG, diciembre 2015
This book constitutes the thoroughly refereed post-conference§proceedings of the 25th International... 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

N.E.O. Tome 2 : Les Deux Chateaux Michel Bussi / Libro Tapa blanda
common.buy 11.79 €
Sauvage / Libro Tapa blanda
common.buy 30.39 €
Ivan Vyskočil a jeho neliteratura Pavel Janoušek / Libro Libro
common.buy 7.59 €
Soziologia Horton / Libro Tapa blanda
common.buy 28.09 €
Por el Templo y por las Casas: Tomo 2 Juan A. Morales / Libro Tapa blanda
common.buy 20.09 €
Le Désordre Mondial Du Capitalisme: La Politique Ouvri?re Au Millénaire Jack Barnes / Libro Tapa blanda
common.buy 28.89 €
Despacito y buenaletra : método para prevenir y corregir las dificultades en la escritura II José Ramiro Viso Alonso / Libro Tapa blanda
common.buy 16.29 €
Philomela Lena Behmenburg / Libro Tapa dura
common.buy 227.69 €

This book constitutes the thoroughly refereed post-conference§proceedings of the 25th International Symposium on Logic-Based Program§Synthesis and Transformation, LOPSTR 2015, held in Siena, Italy, July 2015. The 21 revised full papers presented together with 3 invited talks were carefully reviewed and selected from 30 submissions.§ The aim of the LOPSTR series is to stimulate and promote international research and collaboration on logic-based program development. LOPSTR is open to contributions in all aspects of logic-based program development, all stages of the software life cycle, and issues of both programming-in-the-small and programming-in-the-large.

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 Moreno Falaschi
Idioma Inglés
Encuadernación Libro - Tapa blanda
Fecha de publicación 2015
Número de páginas 385
EAN 9783319274355
ISBN 331927435X
Código Libristo 02836544
Editores Springer International Publishing AG
Peso 6088
Dimensiones 155 x 235 x 25

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 > Técnicas de programación
Computación e informática > Programación informática/desarrollo de software > Programación orientada a objetos (POO)
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
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

Little Critter: Just a Special Day Mercer Mayer / Libro Tapa blanda
common.buy 4.99 €
Diseases of the Stomach with Special Reference to Treatment Charles Dettie Aaron / Libro Tapa dura
common.buy 42.59 €
Exercises in macroeconomic theory III with solutions Echevarría Olave / Libro Tapa blanda
common.buy 19.29 €
Decision Theory and the Future of AI Yang Liu / Libro Tapa dura
common.buy 112.79 €
Vessel Matthew Bryant / Libro Tapa blanda
common.buy 10.69 €
Notebooks de Heem, van Huijsum, Renoir (Set of 3, Large) Arca Publishers / Libro Tapa blanda
common.buy 9.79 €
Place in the Sun Tim Tingle / Libro Tapa blanda
common.buy 23.09 €
Royal and Historical Letters During the Reign of Henry the Fourth, King of England and of France, and Lord of Ireland Volume 1 F. C. (Francis Charles) 1833 Hingeston / Libro Tapa dura
common.buy 41.59 €
Kindle Paperwhite User Guide Sharon Hurley / Libro Tapa blanda
common.buy 27.59 €
Higher Education United States Government Accountability / Libro Tapa blanda
common.buy 15.89 €
African Personality and Spirituality Anthony Ephirim-Donkor / Libro Tapa dura
common.buy 135.79 €
Reform without Liberalization Kevin J. O`Brien / Libro Tapa dura
common.buy 132.79 €
Practical Flow Cytometry 4e Howard M. Shapiro / Libro Tapa dura
common.buy 225.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?