«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

12th International Workshop, LOPSTR 2002, Madrid, Spain, September 17-20, 2002, Revised Selected Papers

Idioma InglésInglés
Libro Tapa blanda
Libro Logic Based Program Synthesis and Transformation M. Leuschel
Código Libristo: 01562768
Editores Springer, Berlin, noviembre 2002
This book constitutes the thoroughly refereed post-proceedings of the 12th 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

Manual para ser feliz around the world ALESS GIBAJA / Libro Tapa blanda
common.buy 16.49 €
Pojazdy Ernest Błędowski / Libro Tapa blanda
common.buy 1.29 €
Thomas Jules Lebrun / Libro Tapa dura
common.buy 9.09 €
La rythmologie - une date bien choisie peut changer votre vie Wozniak / Libro Tapa blanda
common.buy 23.09 €
Popular
Benjamín Solari Parravicini Zerpa / Libro Tapa blanda
common.buy 11.09 €
PARIS GA TANOSHIKUNARU (GUIDE DE CONVERSATION) (bilingue Japonais - Français) Ogino Libro Tapa blanda
common.buy 19.59 €
Un jour, une dictée CM1 - Cahier corrigé + Guide PCF collegium / Libro Tapa blanda
common.buy 40.19 €
Osterlandsagen Geyer / Libro Tapa blanda
common.buy 18.19 €
Supplement Au Memoire de M. Clausel de Coussergues En Ce Qui Concerne La Prefecture de Police Cahaisse-H-A / Libro Tapa blanda
common.buy 15.09 €
Pohádky obtáhni a vykresli - omalovánka / Artículos de papelería Artículos de papelería
common.buy 1.59 €
Metaphern der Gewalt Monika Schwarz-Friesel / Libro Tapa blanda
common.buy 33.19 €
Gestion Participativa En Programas Sociales y de Salud Sonia Vanesa Messina / Libro Tapa blanda
common.buy 48.29 €
Malcolm Max - Auferstehung Peter Mennigen / Libro Tapa dura
common.buy 13.99 €
Brainwash - Gefangene Gedanken, Audio-CD, Audio-CD / Audio CD de audio
common.buy 9.79 €
Expeditionen in den dunklen Kontinent Ruth Hagen / Libro Tapa blanda
common.buy 52.99 €
Písání John Lennon / Libro Tapa dura
common.buy 9.59 €
? travers la Montagne corse / TopoGuides / Libro Tapa blanda
common.buy 25.29 €
El problema mente-cerebro / The Mind-Body Problem Mario Bunge / Libro Tapa blanda
common.buy 21.19 €
Paula I. Allende / Libro Tapa blanda
common.buy 11.59 €
Intoxicated eyes over the penner: Cheshman-e Mast-e Rooye Ghalamdan Shiva Shakoori / Libro Tapa blanda
common.buy 11.69 €
Petru Fideliovi Sborník k sedmdesátinám Lucie Malá / Libro Tapa blanda
common.buy 11.59 €
Malý zajíček Oblečení neuvedený autor / Libro Libro de concertinas
common.buy 2.39 €

This book constitutes the thoroughly refereed post-proceedings of the 12th International Workshop on Logic Based Program Synthesis and Transformation, LOPSTR 2002, held in Madrid, Spain in September 2002.§§The 15 revised full papers presented together with 7 abstracts were carefully selected during two rounds of reviewing and revision from 40 submissions. The papers are organized in topical sections on debugging and types, tabling and constraints, abstract interpretation, program refinement, verification, partial evaluation, and rewriting and object-oriented development.

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 M. Leuschel
Idioma Inglés
Encuadernación Libro - Tapa blanda
Fecha de publicación 2003
Número de páginas 279
EAN 9783540404385
ISBN 3540404384
Código Libristo 01562768
Editores Springer, Berlin
Peso 417
Dimensiones 155 x 235 x 15

Categorías

Infantiles, juveniles y didácticos > Material educativo > Educativo: matemáticas, ciencia y tecnología, general > Educativo: ciencias, general
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 > 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

Fundamentals of Molecular Spectroscopy Prabal Kumar Mallick / Libro Tapa dura
common.buy 202.89 €
Practical Simulation in Urology Chandra Shekhar Biyani / Libro Tapa dura
common.buy 220.99 €
The Meaning of Truth William James / Libro Tapa blanda
common.buy 6.99 €
Treasure Within You Mitra Somerville / Libro Tapa blanda
common.buy 22.99 €
Welcome, Baby!: Keeping You Safe Susan Kathleen Hartung / Libro Libro de concertinas
common.buy 9.59 €
Southern Legacy H G Manning / Libro Tapa blanda
common.buy 20.09 €
TERRIFIC TUNES FOR TWO BOOK 1 MARTHA MIER / Libro Tapa blanda
common.buy 15.49 €
Popular
Good Inside: A Guide to Becoming the Parent You Want to Be KENNEDY BECKY / Libro Tapa dura
common.buy 25.09 €
Endymion Dan Simmons / Libro Tapa blanda
common.buy 14.69 €
Popular
Valor John Gwynne / Libro Tapa blanda
common.buy 18.09 €
Elements John Boyne / Libro Tapa blanda
common.buy 17.99 €
Loving Life Gene Loving / Libro Tapa blanda
common.buy 28.79 €
Seven At The Sevens WritersAnonymous. org / Libro Tapa dura
common.buy 39.09 €
Creative Journey Through Art; Book One, Adult Colouring Book: Adult Colouring Book (revised version) Margaret Lynn Atkinson / Libro Tapa blanda
common.buy 7.99 €
Monsters of River & Rock: My Life as Iron Maiden's Compulsive Angler Adrian Smith / Libro Tapa dura
common.buy 26.59 €
Killing Marias CLAUDIA CASTRO LUNA / Libro Tapa blanda
common.buy 12.69 €
OpenCV 3 Computer Vision with Python Cookbook Alexey Spizhevoy / Libro Tapa blanda
common.buy 51.39 €
Science Comics MK Reed / Libro Tapa blanda
common.buy 11.89 €
Understanding Artificial Intelligence Sabouret / Libro Tapa dura
common.buy 131.19 €
The Center Seat - 55 Years of Trek: Subtitle the Complete, Unauthorized Oral History of Star Trek Peter Holmstrom / Libro Tapa dura
common.buy 29.29 €
Inverse Synthetic Aperture Radar Imaging With MATLAB Algorithms Caner Ozdemir / Libro Tapa dura
common.buy 141.59 €
Written Language Disorders R.M. Joshi / Libro Tapa dura
common.buy 169.09 €
Floating Gate Devices: Operation and Compact Modeling Paolo Pavan / Libro Tapa dura
common.buy 119.39 €

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?