Gratis verzending vanaf 59,99 euro.

Status van bestelling controleren

Word lid van een gemeenschap van boekenliefhebbers van over de hele wereld en krijg een heleboel voordelen. Gratis account aanmaken

Gratis bezorging met Zásilkovna boven 59.99 €

DPD koerier 5.49 € DHL koeriersdienst 5.49 € GLS koerier 4.99 € DPD-punt 3.99 €

Contact

Hoe winkelen bij ons werkt

Help

Mijn account

▸ Leeg :-(

Gratis verzending vanaf 59,99 euro.

Logic-Based Program Synthesis and Transformation

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

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

Annalisa Bossi

Taal

Engels

Boek Gebonden (paperback)

Libristo-code: 05275117

Uitgeverij Springer, Berlin, november 1999

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

Libristo-code: 05275117

125 b

51.69 €

In extern magazijn Wordt binnen 5-8 dagen verzonden

Retourneren binnen 30 dagen

Klanten kochten ook

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

Gebonden (paperback)

12.54 €

Die Satanischen Bekenntnisse des Anton Szandor LaVey Blanche Barton

Gebonden (harde band)

26.90 €

Un jour, ça finira mal Valentin Gendrot

Gebonden (paperback)

27.11 €

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

Gebonden (paperback)

25.08 €

Sakamoto Days - Tome 18 Yuto Suzuki

Gebonden (paperback)

10.92 €

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

Gebonden (paperback)

43.80 €

DISNEY PRINCESSES - Coloriages magiques - Mystères

Gebonden (paperback)

10.61 €

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

Gebonden (paperback)

26.20 €

Die Macht der sieben Familien Ingrid Exo

Gebonden (paperback)

11.83 €

Romanz De L'estoire Dou Graal de Boron Robert

Gebonden (harde band)

17.90 €

1000 caras de la religión oriental CASAS CASTELLS

Gebonden (paperback)

18.10 €

Eu Odeio Amar Voce Elaine Lima

Gebonden (paperback)

12.13 €

Ansiedad Alberto Montt

Gebonden (paperback)

12.54 €

DyrdyMarki Marek Niedźwiecki

Gebonden (paperback)

12.33 €

Socotra JORDI ESTEVA

Gebonden (paperback)

64.64 €

Gedichte Günter Nicke

Gebonden (harde band)

32.97 €

Einfuhrung in die Bucherkunde zur deutschen Literaturwissenschaft Paul Raabe

Gebonden (paperback)

33.88 €

Haukun Herkut Malin Ekblom

Gebonden (paperback)

20.33 €

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.

Actrice & Polyglot

EWA KASP voor

Video afspelen

Libristo heeft de grootste selectie boeken in vreemde talen. Daarom koop ik mijn boeken hier.

Informatie over het boek

Volledige naam Logic-Based Program Synthesis and Transformation

Auteur Annalisa Bossi

Taal

Engels

Bindwijze Boek - Gebonden (paperback)

Datum van uitgifte 2000

Aantal pagina's 312

EAN 9783540676287

ISBN 3540676287

Libristo-code 05275117

Uitgeverij Springer, Berlin

Gewicht 467

Afmetingen 155 x 235 x 17

Categorieën

Technologie, techniek, landbouw, industriële processen > Elektronica en communicatietechnologie > Elektronicatechnologie > Automatische controletechnologie > Robotica

Informatica en informatietechnologie > Computerprogrammering / softwareontwikkeling > Softwareontwikkeling

Informatica en informatietechnologie > Informatica > Wiskundige systeemtheorie

Informatica en informatietechnologie > Informatica > Computerarchitectuur en logica-ontwerp

Informatica en informatietechnologie > Informatica > Kunstmatige intelligentie (AI)

Informatica en informatietechnologie > Besturingssystemen

Geef dit boek vandaag nog cadeau

Dat gaat heel eenvoudig

1 Voeg het boek toe aan je winkelwagentje en selecteer Als cadeau bezorgen 2 Je krijgt van ons per omgaand een voucher 3 Het boek wordt bezorgd op het adres van de ontvanger