«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

18th International Symposium, LOPSTR 2008, Valencia, Spain, July 17-18, 2008, Revised Selected Papers

Idioma InglésInglés
Libro Tapa blanda
Libro Logic-Based Program Synthesis and Transformation Michael Hanus
Código Libristo: 01649407
Editores Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, febrero 2009
This book constitutes the thoroughly refereed post-conference proceedings of the 18th 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

Infiltration und Bodenfeuchte. Prozesse und Mechanismen der Versickerung. Wasserspeicherung in Böden und dessen Bedeutung für Pflanzen Antonio Salmeri / Libro Tapa blanda
common.buy 17.89 €
Kultur ALS Naturgeschichte Christian Mehr / Libro Tapa dura
common.buy 123.09 €
Abrege de la Philosophie de Gassendi Francois Bernier / Libro Tapa blanda
common.buy 31.29 €
Juhlajulkaisu: Suomalaisen Kansallis-Raittius-Veljeysseuran 25-Vuotisen Toiminnan Muistoksi, Toimituttanut S.K.-R.-Veljeysseura Anonymous / Libro Tapa blanda
common.buy 25.89 €
Fisioterapeuta del Servicio de Salud de la Comunidad de Madrid. EDICIÓN COLECTIVOS CLAVIJO GAMERO / Libro Tapa blanda
common.buy 35.79 €
casa dei suoni e delle parole. Percorsi di recupero e potenziamento delle abilità fonologiche e metafonologiche Giulia Fedrigo / Libro Tapa blanda
common.buy 29.99 €
VOLTAREI A SEDUZIR-TE; CAMINHO PARA O CORAÇÇO MANN / Libro Libro
common.buy 7.79 €
Controstoria del franchismo. Fatti, retroscena e scomode verità sul regime del Caudillo Roberto Lobosco / Libro Tapa blanda
common.buy 30.69 €
Económico
The Rational Male (Band II) - Deutsche Auflage Rollo Tomassi / Libro Tapa blanda
common.buy 18.79 €

This book constitutes the thoroughly refereed post-conference proceedings of the 18th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2008, held in Valencia, Spain, during July 17-18, 2008. §The 11 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 Michael Hanus
Idioma Inglés
Encuadernación Libro - Tapa blanda
Fecha de publicación 2009
Número de páginas 185
EAN 9783642005145
ISBN 3642005144
Código Libristo 01649407
Editores Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Peso 308
Dimensiones 155 x 235 x 11

Categorías

Matemáticas y ciencias > Matemáticas > Cálculo y análisis matemático > Análisis numérico
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

Moses in America Melanie Jane Wright / Libro Tapa dura
common.buy 116.79 €
Popular
Yandere Dark Elf: She Chased Me All the Way from Another World! Vol. 4 Nakanosora / Libro Tapa blanda
common.buy 12.69 €
SURVEYING: ORGANIZATION, EXPERTISE, MANAGEMENT / Libro Tapa blanda
common.buy 271.09 €
Explorers on Black Ice Bridge Alex Bell / Libro electrónico Adobe ePub DRM
common.buy 7.99 €
Cinderella Is Dead Kalynn Bayron / Libro Tapa blanda
common.buy 9.69 €
Lucky Per Henrik Pontoppidan / Libro Tapa dura
common.buy 15.09 €
Imperator Anna Hackett / Libro Tapa blanda
common.buy 12.59 €
Changing State Feminism J. Outshoorn / Libro Tapa blanda
common.buy 116.19 €
List of Works in the New York Public Library Relating to Persia Ida Augusta Pratt / Libro Tapa blanda
common.buy 18.69 €
A Dictionary of Christian Biography, Literature, Sects and Doctrines Hermogenes to Julianus V5 (LARGE PRINT EDITION) William Smith / Libro Tapa dura
common.buy 74.09 €
Daughter of the Sword Steve Bein / Libro Tapa blanda
common.buy 21.29 €
Sexual Dysfunction A R Markos / Libro Tapa dura
common.buy 136.49 €
Disturbing Influence Julian Mitchell / Libro Tapa blanda
common.buy 20.29 €
British America 1500-1800 Steven Sarson / Libro Tapa blanda
common.buy 67.29 €

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?