«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

15th International Symposium, LOPSTR 2005, London, UK, September 7-9, 2005, Revised Selected Papers

Idioma InglésInglés
Libro Tapa blanda
Libro Logic Based Program Synthesis and Transformation Patricia M. Hill
Código Libristo: 01561746
Editores Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, marzo 2006
This book constitutes the thoroughly refereed post-proceedings of the 15th International Symposium o... Descripción completa
? points 148 b
60.39 €
Almacenamiento externo en pequeñas cantidades Envío en 13-18 días

Hasta 30 días para devoluciones

Clientes que también han comprado

Patientenratgeber Mastzellaktivierungssyndrom (MCAS) Udo Berg / Libro Tapa blanda
common.buy 21.19 €
Анна Каренина Лев Толстой / Libro Tapa dura
common.buy 29.69 €
Le Grand Atlas géographique du monde 6e ed / Libro Tapa dura
common.buy 75.69 €
Un nouvel Eden 1 - Une nouvelle erotique interstellaire Dumaitre / Audiolibro MP3
common.buy 4.19 €
D.N. Angel Pearls 2 Yukiru Sugisaki / Libro Tapa blanda
common.buy 12.09 €
Ökologie des Purpurreihers (Ardea purpurea) in Numidia N. E. Algerien Boudjema Samraoui / Libro Tapa blanda
common.buy 54.09 €
VILLANUEVA DE CASTRO / Libro Tapa blanda
common.buy 20.59 €
Goodbye Istanbul Esmahan Aykol / Libro Tapa blanda
common.buy 15.79 €
Der Europäische Sozialstaat und seine Institutionen. Detlef Merten / Libro Tapa blanda
common.buy 72.39 €
DDR-Wohnungspolitik ab 1971 und ihre Darstellung in den DEFA-Filmen "Die Legende von Paul und Paula und "Insel der Schwane. Eric Richter / Libro Tapa blanda
common.buy 18.89 €
Routage ad hoc hiérarchique ? base de clusters / Libro Tapa blanda
common.buy 70.79 €
Resume de Repetitions Ecrites Sur Le Droit Penal. Code Penal Et Code d'Instruction Criminelle BOEUF-F / Libro Tapa blanda
common.buy 29.19 €
Im Herzland Günther Dellbrügger / Libro Tapa dura
common.buy 27.49 €
Die Idee der Bibliothek und ihre Zukunft Michael Knoche / Libro Tapa dura
common.buy 19.89 €
Bluchertrompete Ludwig Salomon / Libro Tapa blanda
common.buy 9.99 €
Faust Johann Wolfgang von Goethe / Libro Tapa blanda
common.buy 25.69 €
Plan de Confederation Europeenne Et Universelle Du Livre Precurseur BREMOND-J-J / Libro Tapa blanda
common.buy 14.19 €
Documentos postúmos del Club Pickwick Charles Dickens / Libro Tapa blanda
common.buy 12.19 €

This book constitutes the thoroughly refereed post-proceedings of the 15th International Symposium on Logic Based Program Synthesis and Transformation, LOPSTR 2005, held in September 2005. The 10 revised full papers presented together with one invited talk were carefully selected and revised from 33 submissions. The papers are organized in topical sections on tools for program development, program transformations, and software development and program analysis.

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 Patricia M. Hill
Idioma Inglés
Encuadernación Libro - Tapa blanda
Fecha de publicación 2006
Número de páginas 182
EAN 9783540326540
ISBN 3540326545
Código Libristo 01561746
Editores Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Peso 630
Dimensiones 155 x 235 x 20

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
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 > Programación informática/desarrollo de software
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

Computer and Information Science Applications in Bioprocess Engineering A.R. Moreira / Libro Tapa dura
common.buy 96.09 €
Safely Through the Storm Debra Herbeck / Libro electrónico Adobe ePub DRM
common.buy 17.19 €
What We Cannot Know: Explorations at the Edge of Knowledge Marcus du Sautoy / Audiolibro MP3
common.buy 16.99 €
Collecta zestaw Zwierzęta morskie 2 / Libro binding.
common.buy 12.39 €
The Scarlet Pimpernel Orczy Emmuska Baroness / Libro Tapa blanda
common.buy 29.89 €
Theology and Theologians of Scotland, Chiefly of the Seventeenth and Eighteenth Centuries James Walker / Libro Tapa blanda
common.buy 24.39 €
The Phantom of the Opera Gaston Leroux / Libro Tapa blanda
common.buy 13.59 €
The Burgess Bird Book for Children: Large Print Thornton W Burgess / Libro Tapa blanda
common.buy 10.69 €
Poetry of the Pentateuch Hobart Caunter / Libro Tapa dura
common.buy 41.59 €
Atlas of the Human Brain Juergen K. Mai / Libro Tapa dura
common.buy 287.89 €
Religion and Politics in Presidential Elections Victor Wantatah / Libro Tapa blanda
common.buy 21.99 €
Uniforms of Imperial and Soviet Russia in Color: As Illustrated by Herbert Knotel, Jr 1907-1946 Robert W. Kenny / Libro Tapa dura
common.buy 48.79 €
Lucretius John Godwin / Libro Tapa blanda
common.buy 44.69 €
Students Who Move and Transfer Schools Noone / Libro Tapa blanda
common.buy 18.79 €
100 Years of Spanish Cinema Tatjana Pavlovic / Libro Tapa blanda
common.buy 61.59 €
Golden Calf Helene Tursten / Libro Tapa blanda
common.buy 14.69 €
Alice's Adventures In Molecular Biology Arieh Ben-Naim / Libro Tapa blanda
common.buy 33.69 €
Advanced Photonics with Second-Order Optically Nonlinear Processes A. D. Boardman / Libro Tapa blanda
common.buy 56.59 €
Elizabethan Translation and Literary Culture Gabriela Schmidt / Libro Tapa dura
common.buy 157.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?