Над 4 милиона заглавия на английски и други езици! Открийте новата си история още днес! Безплатна доставка за поръчки над 69.99€

Проверка на състоянието на поръчката

Станете част от общност от любители на книгите от цял свят и получавате много предимства. Създай на безплатен акаунт

Безплатна доставка със Еконт над 69.99 €

Куриер Speedy 3.49 € Пункт на Speedy 3.49 € ЕКОНТ 3.99 € Еконтомат/Офис на Еконт 3.99 € Ekont Box 3.99 € Sameday 3.99 € Sameday box 3.99 € Box Now 3.99 €

Контакт

Как се пазарува?

Помощ

Моят акаунт

▸ Празна :-(

Logic-Based Program Synthesis and Transformation

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

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

Annalisa Bossi

Език

Английски език

Книга С меки корици

Код Либристо: 05275117

Издателство Springer, Berlin, ноември 1999

This volume contains the proceedings of the ninth international workshop on logic-based program synt... Цялото описание

Код Либристо: 05275117

132 b

54.47 €

106.54 лв

Външен склад Изпращаме след 5-8 дни

30 дни за връщане на стоката

Клиентите са закупили също

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

С меки корици

13.30 € 26.02 лв

Die Satanischen Bekenntnisse des Anton Szandor LaVey Blanche Barton

С твърди корици

28.53 € 55.80 лв

Un jour, ça finira mal Valentin Gendrot

С меки корици

28.32 € 55.39 лв

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

С меки корици

26.56 € 51.95 лв

Sakamoto Days - Tome 18 Yuto Suzuki

С меки корици

11.44 € 22.37 лв

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

С меки корици

46.39 € 90.74 лв

DISNEY PRINCESSES - Coloriages magiques - Mystères

С меки корици

11.13 € 21.77 лв

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

С меки корици

26.20 € 51.24 лв

Die Macht der sieben Familien Ingrid Exo

С меки корици

12.48 € 24.40 лв

Romanz De L'estoire Dou Graal de Boron Robert

С твърди корици

19.05 € 37.26 лв

1000 caras de la religión oriental CASAS CASTELLS

С меки корици

18.95 € 37.06 лв

Eu Odeio Amar Voce Elaine Lima

С меки корици

12.16 € 23.79 лв

Ansiedad Alberto Montt

С меки корици

13.20 € 25.82 лв

DyrdyMarki Marek Niedźwiecki

С меки корици

13.10 € 25.61 лв

Socotra JORDI ESTEVA

С меки корици

68.30 € 133.58 лв

Gedichte Günter Nicke

С твърди корици

34.95 € 68.36 лв

Einfuhrung in die Bucherkunde zur deutschen Literaturwissenschaft Paul Raabe

С меки корици

33.91 € 66.33 лв

Haukun Herkut Malin Ekblom

С меки корици

21.54 € 42.12 лв

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.