«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

16th International Symposium, LOPSTR 2006, Venice, Italy, July 12-14, 2006, Revised Selected Papers

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

Política de devolución de 30 días

Clientes que también han comprado

Koppelungsgeschäfte und Art. 102 AEUV Alexander Goldberg / Libro Tapa blanda
common.buy 45.79 €
Estem en contra Xavier Gual / Libro electrónico Adobe ePub DRM
common.buy 9.19 €
La causalidad eucarística de la Iglesia Aboín Martín / Libro Tapa blanda
common.buy 36.49 €
Victor Horta. L'architecte de l'Art Nouveau DERNIE DAVID /CAREW-COX ALASTAIR / Libro Tapa dura
common.buy 48.59 €
Punto Piu Vicino Al Cielo Duilio Chiarle / Libro Tapa blanda
common.buy 11.59 €
Frakturrisiko bei Frauen mit Osteoporose Jae Hyong Sorgenfrei / Libro Tapa blanda
common.buy 44.39 €
Kolorowanka Modnisia Gołek Halina / Libro Tapa blanda
common.buy 2.19 €
43 Recettes de Repas Naturels pour le cancer de la peau qui protégeront et raviveront votre peau: Aidez votre peau ? devenir rapidement saine en nourr Joe Correa Csn / Libro Tapa blanda
common.buy 16.39 €

This book constitutes the thoroughly refereed postproceedings of the 16th International Symposium on Logic Based Program Synthesis and Transformation, LOPSTR 2006, held in Venice, Italy in July 2006 in conjunction with ICALP 2006, PPDP 2006, and CSFW 2006.§The 14 revised full papers presented together with 2 invited talks were carefully selected and revised from 41 submissions during two rounds of reviewing and improvement. The papers are organized in topical sections on tools for program development, partial evaluation and program transformation, security and synthesis, debugging and testing, as well as termination and 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 Germán Puebla
Idioma Inglés
Encuadernación Libro - Tapa blanda
Fecha de publicación 2007
Número de páginas 240
EAN 9783540714095
ISBN 354071409X
Código Libristo 01568318
Editores Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Peso 790
Dimensiones 155 x 235 x 17

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

The History of the Studebaker Corporation Albert Erskine / Libro Tapa blanda
common.buy 36.39 €
Popular Nuevo
Dungeon Crawler Carl, Vol. 1 (Graphic Novel) Laurel Pursuit Studios / Libro Tapa blanda
common.buy 16.49 €
Paracelsus G Lowes 1862-1932 Dickinson / Libro Tapa blanda
common.buy 19.99 €
ORBIT Emily Alison / Libro Tapa dura
common.buy 53.19 €
Juana Honore de Balzac / Libro Tapa blanda
common.buy 12.89 €
Assessment Literacy Thomas Devere Wolsey / Libro Tapa blanda
common.buy 39.99 €
Developmental Couple Therapy for Complex Trauma Heather B. (McGill University MacIntosh / Libro Tapa blanda
common.buy 57.29 €
Climate Change and the Media Benedetta Brevini / Libro Tapa dura
common.buy 127.59 €
Midsomer Murders: The Complete Series Fourteen Richard Holthouse / Video DVD
common.buy 21.19 €
HIV/AIDS Community Information Services M. Sandra Wood / Libro Tapa dura
common.buy 99.19 €
Barack Obama- pot-smoker, coke snorter, muslim? and now President of the USA: What in the hell happened to America? Scott Browning / Libro Tapa blanda
common.buy 10.69 €
Dental Service Support Operations (FM 4-02.19) Department Of the Army / Libro Tapa blanda
common.buy 13.49 €
Sir Peter Coats, Thomas Coats, James Coats, Archibald Coats, James Coats, Jr., Thomas Glen Coats, Peter Coats, Jr., and George Coats, Doing Business U Witter & Kenyon / Libro Tapa blanda
common.buy 33.69 €
Regimental History of the 6th Royal Battalion 13th Frontier Force Rifles (SCINDE) 1843-1923 D. M. Lindsey / Libro Tapa blanda
common.buy 37.39 €
Applicable Law to International Commercial Contracts and the Status of Lex Mercatoria - With a Special Emphasis on Choice of Law Rules in the Euro Mert Elcin / Libro Tapa blanda
common.buy 26.89 €
Once Upon A Nightmare William F Lee / Libro Tapa dura
common.buy 28.19 €
Beyond the Palace Gary Wien / Libro Tapa blanda
common.buy 26.69 €
US-Israeli Relations in a New Era Eytan Gilboa / Libro Tapa dura
common.buy 235.99 €

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?