Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

Check order status

Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits. Create an account for free

Free delivery for purchases over 19 990 Ft

DPD point 990 Ft DPD courier 1 190 Ft GLS point 1 190 Ft Hungarian Post 1 795 Ft Hungarian Post 1 690 Ft Hungarian Post 1 690 Ft FoxPost 1 190 Ft Packeta point 1 190 Ft GLS courier 1 690 Ft

Contact

How to shop

Help

My account

▸ Empty :-(

Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

Logic-Based Program Synthesis and Transformation

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

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

Annalisa Bossi

Language

English

Book Paperback

Libristo code: 05275117

Publishers Springer, Berlin, November 1999

This volume contains the proceedings of the ninth international workshop on logic-based program synt... Full description

Libristo code: 05275117

136 b

19 818 Ft

In stock at our supplier Shipping in 5-8 days

Up to 30 days for returns

Customers also purchased

DISNEY PRINCESSES - Coloriages magiques - Mystères

Paperback

3 884 Ft

Die Macht der sieben Familien Ingrid Exo

Paperback

4 552 Ft

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

Paperback

9 674 Ft

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

Paperback

4 409 Ft

Sakamoto Days - Tome 18 Yuto Suzuki

Paperback

3 884 Ft

Un jour, ça finira mal Valentin Gendrot

Paperback

9 605 Ft

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

Paperback

1 634 Ft

Eu Odeio Amar Voce Elaine Lima

Paperback

4 639 Ft

Ansiedad Alberto Montt

Paperback

4 322 Ft

DyrdyMarki Marek Niedźwiecki

Paperback

4 363 Ft

Einfuhrung in die Bucherkunde zur deutschen Literaturwissenschaft Paul Raabe

Paperback

11 400 Ft

Haukun Herkut Malin Ekblom

Paperback

7 838 Ft

Die Satanischen Bekenntnisse des Anton Szandor LaVey Blanche Barton

Hardback

10 392 Ft

Socotra JORDI ESTEVA

Paperback

24 839 Ft

1000 caras de la religión oriental CASAS CASTELLS

Paperback

6 365 Ft

Der Engel über dem Lauenstein Peter Selg

Paperback

4 409 Ft

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

Paperback

16 900 Ft

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

Paperback

8 772 Ft

Romanz De L'estoire Dou Graal de Boron Robert

Hardback

6 931 Ft

Gedichte Günter Nicke

Hardback

12 739 Ft

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.