«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

24th International Symposium, LOPSTR 2014, Canterbury, UK, September 9-11, 2014. Revised Selected Papers

Idioma InglésInglés
Libro Tapa blanda
Libro Logic-Based Program Synthesis and Transformation Maurizio Proietti
Código Libristo: 09249952
Editores Springer International Publishing AG, abril 2015
This book constitutes the thoroughly refereed post-conference proceedings of the 24th 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

Kirchen - verständlich gemacht. Eine illustrierte und verständliche Baustilkunde zur christlichen Architektur: Kathedralen, Kapellen, Klöstern, Abteie Denis McNamara / Libro Tapa blanda
common.buy 9.59 €
MEJORA DE LAS FUNCIONES EJECUTIVAS Y CONDUCTUALES 2 (ALUMNO) NOELIA GARCIA GONZALEZ / Libro Tapa blanda
common.buy 46.69 €
M'as-tu vu en cadavre ? Malet / Libro Tapa dura
common.buy 20.79 €
45 Recettes de Repas pour la Réduction des Crampes musculaires: Eliminez les crampes musculaires pour de bon en utilisant une nourriture intelligente Joe Correa Csn / Libro Tapa blanda
common.buy 16.39 €
Biologie víry Bruce H. Lipton / Libro Tapa dura
common.buy 16.19 €
Globalización y salud mental Antoni Talarn / Libro Tapa blanda
common.buy 36.49 €
Justizmord Hans-Rudolph Schneider / Libro Tapa blanda
common.buy 19.79 €
Untersuchungen über Gegenstände der höheren Geodäsie Carl Fr. Gauß / Libro Tapa blanda
common.buy 95.39 €
Je te vois reine des quatre parties du monde Alexandre Lapierre / Libro Tapa blanda
common.buy 14.09 €
Leadership John C. Maxwell / Libro Libro
common.buy 13.59 €
Mystische Dimensionen der Psyche Lars Tischler / Libro Tapa blanda
common.buy 17.89 €
Pokrevenstvo Amberu Roger Zelazny / Libro Tapa dura
common.buy 9.09 €

This book constitutes the thoroughly refereed post-conference proceedings of the 24th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2014, held in Canterbury, UK, in September 2014.§§The 18 revised full papers presented together with 2 invited talks were carefully reviewed and selected from 34 submissions. The aim of the LOPSTR series is to stimulate and promote international research and collaboration on logic-based program development. The papers are organized along a set of thematic tracks: program analysis and transformation, constraint handling rules, termination analysis, security, program testing and verification, program synthesis, program derivation, semantic issues in logic programming, and program transformation and optimization.

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 Maurizio Proietti, Hirohisa Seki
Idioma Inglés
Encuadernación Libro - Tapa blanda
Fecha de publicación 2015
Número de páginas 333
EAN 9783319178219
ISBN 3319178210
Código Libristo 09249952
Editores Springer International Publishing AG
Peso 534
Dimensiones 155 x 235 x 19

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
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

British Antarctic ("Terra Nova") Expedition, 1910; Natural History Reports, Vol. 1 British Antarctic Expedition / Libro Tapa blanda
common.buy 21.69 €
From Anthropometry to Genomics Jonathan S Friedlaender / Libro Tapa blanda
common.buy 16.49 €
Explorers Jared W Pollard / Libro Tapa blanda
common.buy 20.09 €
Sandy's Miracle John Borgstedt / Libro Tapa blanda
common.buy 16.79 €
Global West, American Frontier David M. Wrobel / Libro Tapa blanda
common.buy 36.59 €
Building Dynamics Branko Kolarevic / Libro Tapa blanda
common.buy 128.39 €
100 Dogs Michael Whaite / Libro Libro de concertinas
common.buy 9.39 €
Next of Kin Marianne Langner Zeitlin / Libro Tapa blanda
common.buy 10.59 €
Urban Intervention: Design Ideas for Public Space Wang Shaoqiang / Libro Tapa dura
common.buy 51.49 €
Chinese Research Perspectives on Population and Labor, Volume 1 Fang Cai / Libro Tapa dura
common.buy 204.39 €
Manual of Percussion and Auscultation Flint / Libro Tapa blanda
common.buy 20.99 €
Determined Martin Baranek / Libro Tapa blanda
common.buy 22.99 €
Drifters Volume 5 Kohta Hirano / Libro Tapa blanda
common.buy 12.49 €
Confessions of a Middle-Aged Hippie Geek Karen S Eubank / Libro Tapa blanda
common.buy 16.29 €
Cost Accounting and Financial Management for Construction Project Managers HOLM / Libro Tapa dura
common.buy 215.89 €
The Day Will Come Mary E. Braddon / Libro Tapa blanda
common.buy 39.39 €
The Magic Coat Gary McNeil / Libro Tapa blanda
common.buy 6.99 €
On Liberty John Stuart Mill / Libro Tapa blanda
common.buy 11.19 €
Comparative Study of Chinese and Western Cyclic Myths Robert Shanmu Chen / Libro Tapa dura
common.buy 76.49 €
Intrusion Detection and Correlation Christopher Kruegel / Libro Tapa dura
common.buy 118.29 €
The Future of the Greek Economy Panagiotis E. Petrakis / Libro Tapa blanda
common.buy 127.69 €
Western Africa: Along the Atlantic Ocean Coast Adil Dalbai / Libro Tapa blanda
common.buy 50.89 €
Great Names in American History John G. Gilmartin / Libro Tapa dura
common.buy 37.69 €
Balmoral incident Alanna Knight / Libro Tapa dura
common.buy 29.69 €

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?