«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

13th International Symposium LOPSTR 2003, Uppsala, Sweden, August 25-27, 2003, Revised Selected Papers

Idioma InglésInglés
Libro Tapa blanda
Libro Logic Based Program Synthesis and Transformation Maurice Bruynooghe
Código Libristo: 01559466
Editores Springer, Berlin, noviembre 2003
This book constitutes the thoroughly refereed postproceedings of the 13th International Symposium on... Descripción completa
? points 139 b
56.59 €
Almacenamiento externo Envío en 5-8 días

Hasta 30 días para devoluciones

Clientes que también han comprado

The Step Forward Years 1977-82 4CD Clamshell Box / Audio CD de audio
common.buy 62.49 €
Soldati di Salamina Javier Cercas / Libro Tapa blanda
common.buy 28.69 €
Dezentrale Vermögensbildungsfonds. Barbara Toillié / Libro Tapa dura
common.buy 67.69 €
Atlas dějin USA Lauric Henneton / Libro Tapa blanda
common.buy 14.99 €
Chemie heute SI - Ausgabe 2013 für Sachsen Wolfgang Asselborn / Libro Hoja
common.buy 13.89 €
Information im oeffentlich-rechtlichen Fernsehen Cornelia Steinigen / Libro Tapa blanda
common.buy 17.89 €
Mein Wörter-Schreibheft - erste Rechtschreibregeln Bernadette Frechen / Libro Hoja
common.buy 4.49 €
Ehe ich mich Traue Joachim Peters / Libro Tapa blanda
common.buy 8.09 €
Charismating - Einkauf als Erlebnis Claudius A. Schmitz / Libro Tapa dura
common.buy 42.89 €
Der Kinderkreuzzug Marcel Schwob / Libro Tapa blanda
common.buy 13.49 €
Nuevas Tecnologías y Derechos Humanos Pérez Luño / Libro Tapa blanda
common.buy 27.49 €

This book constitutes the thoroughly refereed postproceedings of the 13th International Symposium on Logic Based Program Synthesis and Transformation, LOPSTR 2003, held in Uppsala, Sweden in August 2003.The 12 revised full papers presented were carefully selected during two rounds of reviewing and revision from 32 submissions. Also included are an invited paper and abstracts of 5 papers presented at the workshop. The papers are organized in topical sections on specification and synthesis, verification, analysis, transformation and specialization, and constraints.

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 Maurice Bruynooghe
Idioma Inglés
Encuadernación Libro - Tapa blanda
Fecha de publicación 2004
Número de páginas 238
EAN 9783540221746
ISBN 3540221743
Código Libristo 01559466
Editores Springer, Berlin
Peso 380
Dimensiones 156 x 234 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 > 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

Vintage Journal The Great Blue Outdoors Found Image Press / Libro Tapa blanda
common.buy 8.89 €
In the Winter: 1000 Piece Puzzle GUTIERREZ LUCI / Juego/Juguete Juego
common.buy 16.19 €
The Trappers of Arkansas: Or the Loyal Heart (1864) Gustave Aimard / Libro Tapa blanda
common.buy 34.79 €
When The Ku Klux Rode (1912) Eyre Damer / Libro Tapa blanda
common.buy 24.89 €
Electromagnetic Linear Machines with Dual Halbach Array LIANG YAN / Libro Tapa blanda
common.buy 135.29 €
Mathematical and Statistical Methods for Actuarial Sciences and Finance Marco Corazza / Libro Tapa dura
common.buy 247.79 €
Rhyme Your Colours Kerrice Accarias / Libro Tapa blanda
common.buy 10.29 €
Here I Stand Roland Herbert Bainton / Libro Tapa blanda
common.buy 18.89 €
Education as a Societal Contributor Ritva Jakku-Sihvonen / Libro Tapa blanda
common.buy 84.09 €
Rebirth Stephanie Parker-Weaver / Libro Tapa blanda
common.buy 20.09 €
Asia in the Making of Europe Edwin J. van Kley / Libro Tapa dura
common.buy 706.79 €
Data Structures, Algorithms, and Software Principles in C Thomas A. Standish / Libro Tapa blanda
common.buy 265.09 €
Atlas of Diseases of the Nail Phoebe A. Rich / Libro Tapa dura
common.buy 169.79 €
Próximamente
Rise of The Super Furry Animals Ric Rawlins / Libro Tapa blanda
common.buy 12.79 €
Popular
Incredible English: 2: Class Book Sarah Phillips / Libro Tapa blanda
common.buy 20.19 €

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?