Besplatna dostava putem Box Now paketomata i Overseas kurirske službe iznad 69,99 €.

Provjerite status narudžbe

Pridružite se zajednici ljubitelja knjige iz cijelog svijeta i ostvarite mnoštvo pogodnosti. Izradite besplatni račun

Besplatna dostava Overseas kurirskom službom iznad 69.99 €

DPD kurir 3.99 € Pošta 4.99 € Overseas 4.99 € Box Now 4.49 € GLS 4.99 € DPD točka 3.49 € GLS paketomat 3.99 €

Kontakt

Kako kupovati

Pomoć

Moj račun

▸ Prazno :-(

Besplatna dostava putem Box Now paketomata i Overseas kurirske službe iznad 69,99 €.

Logic-Based Program Synthesis and Transformation

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

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

Annalisa Bossi

Jezik

Engleski

Knjiga Meki uvez

Libristo kod: 05275117

Nakladnici Springer, Berlin, studeni 1999

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

Libristo kod: 05275117

125 b

51.75 €

Vanjske zalihe Šaljemo za 5-8 dana

30 dana za povrat kupljenih proizvoda

Kupci su kupili i

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

Meki uvez

11.84 €

Die Satanischen Bekenntnisse des Anton Szandor LaVey Blanche Barton

Tvrdi uvez

26.93 €

Un jour, ça finira mal Valentin Gendrot

Meki uvez

26.02 €

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

Meki uvez

25.11 €

Sakamoto Days - Tome 18 Yuto Suzuki

Meki uvez

10.42 €

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

Meki uvez

43.85 €

DISNEY PRINCESSES - Coloriages magiques - Mystères

Meki uvez

10.22 €

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

Meki uvez

23.49 €

Die Macht der sieben Familien Ingrid Exo

Meki uvez

11.84 €

Romanz De L'estoire Dou Graal de Boron Robert

Tvrdi uvez

17.92 €

1000 caras de la religión oriental CASAS CASTELLS

Meki uvez

17.21 €

Eu Odeio Amar Voce Elaine Lima

Meki uvez

12.14 €

Ansiedad Alberto Montt

Meki uvez

12.55 €

DyrdyMarki Marek Niedźwiecki

Meki uvez

11.64 €

Socotra JORDI ESTEVA

Meki uvez

64.71 €

Gedichte Günter Nicke

Tvrdi uvez

33.01 €

Einfuhrung in die Bucherkunde zur deutschen Literaturwissenschaft Paul Raabe

Meki uvez

30.68 €

Haukun Herkut Malin Ekblom

Meki uvez

20.35 €

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.