Envío gratis a partir de 69,99 euros.

«Comprobar estado del pedido»

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

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 €

Contacto

Cómo comprar

Ayuda

Mi cuenta

▸ Vacío :-(

Envío gratis a partir de 69,99 euros.

Logic-Based Program Synthesis and Transformation

Name: Logic-Based Program Synthesis and Transformation
Brand: Springer, Berlin
SKU: 05275117
Price: 51.09 EUR
Availability: InStock
Author: Annalisa Bossi
ISBN: 9783540676287

9th International Workshop, LOPSTR'99, Venice, Italy, September 22-24, 1999 Selected Papers

Annalisa Bossi

Idioma

Inglés

Libro Tapa blanda

Código Libristo: 05275117

Editores Springer, Berlin, noviembre 1999

This volume contains the proceedings of the ninth international workshop on logic-based program synt... Descripción completa

Código Libristo: 05275117

125 b

51.09 €

Almacenamiento externo Envío en 5-8 días

Hasta 30 días para devoluciones

Clientes que también han comprado

DISNEY PRINCESSES - Coloriages magiques - Mystères

Tapa blanda

9.19 €

Die Macht der sieben Familien Ingrid Exo

Tapa blanda

11.69 €

Vom Bewerber zum integrierten Leistungsnachwuchs - Mitarbeiter als Individuen innerhalb des sozialen Systems Krankenhaus Marie-Luise Schwarz

Tapa blanda

27.69 €

Świt przeklętej królowej. Bogowie i Potwory. Tom 3 Amber V. Nicole

Tapa blanda

11.79 €

Sakamoto Days - Tome 18 Yuto Suzuki

Tapa blanda

10.79 €

Un jour, ça finira mal Valentin Gendrot

Tapa blanda

27.09 €

Freunde sind das größte Glück Jörn Heller

Tapa blanda

4.19 €

Eu Odeio Amar Voce Elaine Lima

Tapa blanda

12.59 €

Ansiedad Alberto Montt

Tapa blanda

12.39 €

DyrdyMarki Marek Niedźwiecki

Tapa blanda

13.19 €

Einfuhrung in die Bucherkunde zur deutschen Literaturwissenschaft Paul Raabe

Tapa blanda

34.09 €

Haukun Herkut Malin Ekblom

Tapa blanda

22.39 €

Die Satanischen Bekenntnisse des Anton Szandor LaVey Blanche Barton

Tapa dura

26.59 €

Socotra JORDI ESTEVA

Tapa blanda

63.89 €

1000 caras de la religión oriental CASAS CASTELLS

Tapa blanda

15.99 €

Der Engel über dem Lauenstein Peter Selg

Tapa blanda

13.19 €

Le Tourisme Culturel En France Le Tourisme Baln aire En Tunisie Faten Ben Bouheni

Tapa blanda

43.29 €

Septem verba a Christo in cruce moriente prolata (Klavierauszug) Giovanni Battista Pergolesi

Tapa blanda

26.39 €

Romanz De L'estoire Dou Graal de Boron Robert

Tapa dura

17.69 €

Gedichte Günter Nicke

Tapa dura

36.39 €

This volume contains the proceedings of the ninth international workshop on logic-based program synthesis and transformation (LOPSTR 99) which was held in Venice (Italy), September 22-24, 1999. LOPSTRistheannualworkshopandforumforresearchersinthelogic-based program development stream of computational logic. The main focus used to be on synthesis and transformation of logic programs, but the workshop is open to contributions on logic-based program development in any paradigm. Previous workshops were held in Manchester, UK (1991, 1992), Louvain-la-Neuve, B- gium (1993), Pisa, Italy (1994), Arnhem, The Netherlands (1995), Stockholm, Sweden (1996), Leuven, Belgium (1997), and Manchester, UK (1998). LOPSTR is a real workshop in the sense that it is a friendly and lively forum for presenting recent and current research as well as discussing future trends. Formal proceedings of the workshop are produced only after the workshop and contain only those papers selected by the program committee after a second refereeing process. The program committee of LOPSTR 99 accepted 20 extended abstracts for presentation at the workshop; then selected 14 papers for inclusion in the po- workshop proceedings. Selected papers cover all the main streams of LOPSTR s topics: synthesis, specialization, transformation, analysis, and veri?cation. Ve- ?cation, transformation, and specialization methods are applied to functional, constraint, logic, and imperative programming.