«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

11th International Workshop, LOPSTR 2001, Paphos, Cyprus, November 28-30, 2001. Selected Papers

Idioma InglésInglés
Libro Tapa blanda
Libro Logic Based Program Synthesis and Transformation Alberto Pettorossi
Código Libristo: 01564461
Editores Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, julio 2002
This book constitutes the thoroughly refereed post-proceedings of the 11th International Workshop on... 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

Biochemisches Handlexikon Andor Fodor / Libro Tapa blanda
common.buy 58.09 €
Le Traite Sur Les Sacrifices Fong Et Chan De Se Ma T'Sien (1890) Edouard Chavannes / Libro Tapa blanda
common.buy 23.89 €
Les Reformes Sociales Dreux-A / Libro Tapa blanda
common.buy 14.19 €
Memorial Havrais, Guide Pratique Des Proprietaires, Locataires, Entrepreneurs & Industriels Fleury-V / Libro Tapa blanda
common.buy 35.29 €
Lettres Parisiennes Sur Le Desir d'Etre Heureux. Partie 2 Jacquin-A-P / Libro Tapa blanda
common.buy 20.99 €
Conservateur de la Vue: Suivi Du Manuel de l'Ingenieur Opticien Troisieme Edition Augmentee CHEVALLIER-J / Libro Tapa blanda
common.buy 49.79 €
Kúpte si družičku! Jacqueline Wilsonová / Libro Tapa blanda
common.buy 8.49 €
Protagonismo femenino en cuentos y leyendas de México y Centroamérica Anna Maria Fernández Poncela / Libro Tapa blanda
common.buy 15.79 €
FARMERS MARKET - Una aplicación web / Libro Tapa blanda
common.buy 43.29 €
Masters of the Universe 1 - Das Buch des Bösen (Neuauflage) Diverse Autoren / Libro Tapa dura
common.buy 21.79 €
Niedliche BKH Katzenkinder (Wandkalender 2026 DIN A3 quer), CALVENDO Monatskalender Calvendo / Calendario/Diario Calendario
common.buy 31.29 €
LEGO® Harry Potter™ Kouzelnická zábava / Libro Tapa blanda
common.buy 7.69 €
Ornamentvogelspinnen Henrik Krehenwinkel / Libro Tapa dura
common.buy 36.49 €

This book constitutes the thoroughly refereed post-proceedings of the 11th International Workshop on Logic-Based Program Synthesis and Transformation, LOPSTR 2001, held in Paphos, Cyprus, in November 2001.The 13 revised full papers presented together with an invited paper were carefully selected and improved during two rounds of reviewing and revision. The papers are organized in topical sections on program transformation and equivalence, program verification, program analysis, program development, and program synthesis.

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 Alberto Pettorossi
Idioma Inglés
Encuadernación Libro - Tapa blanda
Fecha de publicación 2002
Número de páginas 272
EAN 9783540439158
ISBN 3540439153
Código Libristo 01564461
Editores Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Peso 880
Dimensiones 155 x 235 x 16

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 > Análisis y diseño de sistemas
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
Medicina, enfermería, veterinaria > Medicina: cuestiones generales
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

Models in Cooperative Game Theory Rodica Branzei / Libro Tapa blanda
common.buy 112.79 €
Hybrid Latex Particles Alex M. van Herk / Libro Tapa blanda
common.buy 337.89 €
Production Planning in Automated Manufacturing Yves Crama / Libro Tapa blanda
common.buy 60.39 €
Próximamente Nuevo
Ahmadu Bamba and Decolonization Cheikh M. (Union College) Ndiaye / Libro Tapa blanda
common.buy 46.29 €
Sciences in the Universities of Europe, Nineteenth and Twentieth Centuries Ana Simoes / Libro Tapa blanda
common.buy 135.29 €
Lost Founding Father William J. Cooper / Libro Tapa dura
common.buy 29.79 €
Echoes Down a Dark Well Ric Wasley / Libro Tapa blanda
common.buy 18.19 €
How To Be Free: A Practical Guide To Positive Living Livingstone Bvumbi / Libro Tapa blanda
common.buy 10.69 €
The Question of Alsace and Lorraine Thomas Willing Balch / Libro Tapa blanda
common.buy 16.39 €
Mind Power Secrets: Road To Riches Shana O Lean / Libro Tapa blanda
common.buy 16.29 €
Little Book Of Eternal Wisdom Blessed Henry Suso / Libro Tapa blanda
common.buy 14.49 €
Counterfeit Souls Va Andrews / Libro Tapa blanda
common.buy 8.89 €
Medical Imaging Techniques and Applications Marcus Lewis / Libro Tapa dura
common.buy 124.99 €
Popular
100 Things to Know About Numbers, Computers & Coding NOT KNOWN / Libro Tapa dura
common.buy 11.69 €
South Windsor Claire Lobdell / Libro Tapa dura
common.buy 25.79 €
Information Geometry and Population Genetics Julian Hofrichter / Libro Tapa blanda
common.buy 112.89 €
Coal Mining in Pakistan Mudassar Ali Raja / Libro Tapa blanda
common.buy 39.39 €
Operational Costs in Acquisitions James R. Coffey / Libro Tapa blanda
common.buy 55.19 €
First Victory Stewart Andrew Stewart / Libro electrónico Adobe ePub DRM
common.buy 13.49 €
Essential Business Grammar Builder, w. Audio-CD Paul Emmerson / Libro Tapa blanda
common.buy 44.69 €
Dark Coulee Mary Logue / Libro Tapa blanda
common.buy 15.39 €
Landscape Design / Libro Tapa dura
common.buy 60.99 €
Popular
John Donne John Donne / Libro Tapa blanda
common.buy 11.69 €
Community, Economic Creativity, and Organization Ash Amin / Libro Tapa dura
common.buy 80.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?