«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

17th International Symposium, LOPSTR 2007, Kongens Lyngby, Denmark, August 23-24, 2007, Revised Selected Papers

Idioma InglésInglés
Libro Tapa blanda
Libro Logic-Based Program Synthesis and Transformation Andy King
Código Libristo: 01570057
Editores Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, marzo 2008
This postproceedings volume of the 17th International Symposium on Logic-Based Program Synthesis and... 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

Klar zum Feuern John Martin Ungar / Libro Tapa blanda
common.buy 10.09 €
20. Jahrhundert. Gefahrdet und gefahrlich Christiane Hagn / Libro Tapa blanda
common.buy 17.89 €
Circoncision masculine sans risque pour l'infection par le VIH en Ouganda Nicholas Sebuliba Kirirabwa / Libro Tapa blanda
common.buy 39.39 €
Autonomía de la escuela : principios y propuestas Gadotti (BR) / Libro Tapa blanda
common.buy 20.89 €
L'Histoire Des Juifs Depuis Jesus-Christ Jusqu'a Present: Pour Servir de Suplement [Sic] & de Continuation A L'Histoire de Joseph... Jacques Basnage / Libro Tapa blanda
common.buy 33.69 €
Melekler Kiz mi, Erkek mi Özkan Öze / Libro Tapa blanda
common.buy 10.09 €
Die asiatische Cholera Joseph Riedel / Libro Tapa blanda
common.buy 13.09 €
Fourmi, Productions de l'Ete Pour Nos Recreations de l'Hiver SANS AUTEUR / Libro Tapa blanda
common.buy 18.09 €
Extraits Du 'Lexicon Politique', Ouvrage Inedit Du Chevalier de Sade. Volume 3 De Sade-L / Libro Tapa blanda
common.buy 13.19 €
Curso sobre agricultura biodinámica STEINER / Libro Tapa blanda
common.buy 22.49 €
Pathologie und Therapie der mannlichen Impotenz Victor G. Vecki / Libro Tapa blanda
common.buy 21.79 €
Manual técnico de la construcción. Gestión de la prevención de riesgos laborales y de la protección S. L. Consultores en Previsión Social / Libro Tapa blanda
common.buy 105.09 €

This postproceedings volume of the 17th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2007, examines program termination, program transformation, constraint solving and analysis as well as software engineering.

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 Andy King
Idioma Inglés
Encuadernación Libro - Tapa blanda
Fecha de publicación 2008
Número de páginas 222
EAN 9783540787686
ISBN 3540787682
Código Libristo 01570057
Editores Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Peso 365
Dimensiones 154 x 14 x 239

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

Controlled Nanoscale Motion Heiner Linke / Libro Tapa dura
common.buy 112.79 €
Clarinet for Beginners: Book 1 - Elementary Avrahm Galper / Libro Tapa blanda
common.buy 12.99 €
Rise of Early Modern Science HUFF TOBY E. / Libro Tapa dura
common.buy 148.19 €
Delaware Indian Legend and the Story of their Troubles Richard C. Adams / Libro Tapa blanda
common.buy 13.89 €
Extraordinary Cases. Henry L Clinton / Libro Tapa blanda
common.buy 27.89 €
A Blueprint For Achieving Peace On Earth MR Russell E Hill / Libro Tapa blanda
common.buy 15.39 €
Drowning In My Tea Cup: There Should Have Been A Rainbow Joseph C Cullis / Libro Tapa blanda
common.buy 8.39 €
The Notary Art of Solomon: Ars Notoria King Solomon / Libro Tapa blanda
common.buy 7.49 €
Chimpanzee Lisa Jackson / Libro Tapa dura
common.buy 39.29 €
Living Theory C.E. Hurst / Libro Tapa blanda
common.buy 120.49 €
Cheyenne Quinn M. Arnold / Libro Tapa dura
common.buy 39.79 €
Remarks on the Principles Adopted by Bishop Lowth in Correcting the Text of the Hebrew Bible John Rogers / Libro Tapa blanda
common.buy 19.09 €
Retail Marketing Strategy Constant Berkhout / Libro Tapa dura
common.buy 124.59 €
Beyond Chopped Liver Kenden Alfond / Libro Tapa dura
common.buy 37.39 €
Popular
Rise of the Dragon Elio M. Garcia Jr. / Libro Tapa dura
common.buy 41.59 €
THINGS WE DO TO OUR FRIENDS DARWENT HEATHER / Libro Tapa blanda
common.buy 15.49 €
Values Andreas Urs Sommer / Libro Tapa dura
common.buy 52.49 €
Incinerator Niall Leonard / Libro Tapa blanda
common.buy 15.09 €
Prime Minister's Ironing Board and Other State Secrets Adam Macqueen / Libro Tapa blanda
common.buy 15.59 €
Magician's Doubts Michael Wood / Libro Tapa blanda
common.buy 54.19 €
Dust Julian Hawthorne / Libro Tapa dura
common.buy 55.99 €
How to Knit a Love Song: A Cypress Hollow Yarn Rachael Herron / Libro Tapa blanda
common.buy 16.29 €
Miki Falls, Spring Mark Crilley / Libro Tapa blanda
common.buy 8.69 €
Hard Tack and Coffee John B. Billings / Libro Tapa blanda
common.buy 22.09 €

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?