Status van bestelling controleren
LIBRISTO
LIBROAMANTO
verplicht
Wachtwoord vergeten
Word lid van een gemeenschap van boekenliefhebbers van over de hele wereld en krijg een heleboel voordelen. Gratis account aanmaken
0
Gratis bezorging met Zásilkovna boven 59.99 €
DPD koerier 5.49 € DHL koeriersdienst 5.49 € GLS koerier 4.99 € DPD-punt 3.99 €
phone Contact phoneHoe winkelen bij ons werkt
Gratis verzending vanaf 59,99 euro.

Logic Based Program Synthesis and Transformation

11th International Workshop, LOPSTR 2001, Paphos, Cyprus, November 28-30, 2001. Selected Papers

Taal EngelsEngels
Boek Gebonden (paperback)
Boek Logic Based Program Synthesis and Transformation Alberto Pettorossi
Libristo-code: 01564461
Uitgeverij Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, juli 2002
This book constitutes the thoroughly refereed post-proceedings of the 11th International Workshop on... Volledige beschrijving
? points 125 b
51.69 €
In extern magazijn Wordt binnen 5-8 dagen verzonden

Retourneren binnen 30 dagen

Klanten kochten ook

Biochemisches Handlexikon Andor Fodor / Boek Gebonden (paperback)
common.buy 53.11 €
Le Traite Sur Les Sacrifices Fong Et Chan De Se Ma T'Sien (1890) Edouard Chavannes / Boek Gebonden (paperback)
common.buy 23.06 €
Les Reformes Sociales Dreux-A / Boek Gebonden (paperback)
common.buy 13.65 €
Memorial Havrais, Guide Pratique Des Proprietaires, Locataires, Entrepreneurs & Industriels Fleury-V / Boek Gebonden (paperback)
common.buy 34.09 €
Lettres Parisiennes Sur Le Desir d'Etre Heureux. Partie 2 Jacquin-A-P / Boek Gebonden (paperback)
common.buy 20.33 €
Conservateur de la Vue: Suivi Du Manuel de l'Ingenieur Opticien Troisieme Edition Augmentee CHEVALLIER-J / Boek Gebonden (paperback)
common.buy 48.15 €
Kúpte si družičku! Jacqueline Wilsonová / Boek Gebonden (paperback)
common.buy 7.98 €
Protagonismo femenino en cuentos y leyendas de México y Centroamérica Anna Maria Fernández Poncela / Boek Gebonden (paperback)
common.buy 16.38 €
FARMERS MARKET - Una aplicación web / Boek Gebonden (paperback)
common.buy 39.25 €
Masters of the Universe 1 - Das Buch des Bösen (Neuauflage) Diverse Autoren / Boek Gebonden (harde band)
common.buy 19.72 €
Niedliche BKH Katzenkinder (Wandkalender 2026 DIN A3 quer), CALVENDO Monatskalender Calvendo / Kalender/agenda Kalender
common.buy 28.42 €
LEGO® Harry Potter™ Kouzelnická zábava / Boek Gebonden (paperback)
common.buy 7.27 €
Ornamentvogelspinnen Henrik Krehenwinkel / Boek Gebonden (harde band)
common.buy 32.77 €

This book constitutes the thoroughly refereed post-proceedings of the 11th International Workshop on Logic-Based Program Synthesis and Transformation, LOPSTR 2001, held in Paphos, Cyprus, in November 2001.The 13 revised full papers presented together with an invited paper were carefully selected and improved during two rounds of reviewing and revision. The papers are organized in topical sections on program transformation and equivalence, program verification, program analysis, program development, and program synthesis.

Actrice & Polyglot
EWA KASP voor
Video afspelen
Ewa Kasp
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 Alberto Pettorossi
Taal Engels
Bindwijze Boek - Gebonden (paperback)
Datum van uitgifte 2002
Aantal pagina's 272
EAN 9783540439158
ISBN 3540439153
Libristo-code 01564461
Uitgeverij Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Gewicht 880
Afmetingen 155 x 235 x 16

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 > Systeemanalyse en systeemontwerp
Informatica en informatietechnologie > Informatica > Computerarchitectuur en logica-ontwerp
Informatica en informatietechnologie > Informatica > Kunstmatige intelligentie (AI)
Geneeskunde en verpleging > Geneeskunde: algemene onderwerpen
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

Dit vind je misschien ook interessant

Models in Cooperative Game Theory Rodica Branzei / Boek Gebonden (paperback)
common.buy 102.99 €
Hybrid Latex Particles Alex M. van Herk / Boek Gebonden (paperback)
common.buy 308.48 €
Production Planning in Automated Manufacturing Yves Crama / Boek Gebonden (paperback)
common.buy 61.10 €
Wordt verwacht Nieuw
Ahmadu Bamba and Decolonization Cheikh M. (Union College) Ndiaye / Boek Gebonden (paperback)
common.buy 44.91 €
Sciences in the Universities of Europe, Nineteenth and Twentieth Centuries Ana Simoes / Boek Gebonden (paperback)
common.buy 123.53 €
Lost Founding Father William J. Cooper / Boek Gebonden (harde band)
common.buy 30.14 €
Echoes Down a Dark Well Ric Wasley / Boek Gebonden (paperback)
common.buy 17.49 €
How To Be Free: A Practical Guide To Positive Living Livingstone Bvumbi / Boek Gebonden (paperback)
common.buy 10.31 €
The Question of Alsace and Lorraine Thomas Willing Balch / Boek Gebonden (paperback)
common.buy 15.57 €
Mind Power Secrets: Road To Riches Shana O Lean / Boek Gebonden (paperback)
common.buy 15.67 €
Little Book Of Eternal Wisdom Blessed Henry Suso / Boek Gebonden (paperback)
common.buy 13.95 €
Counterfeit Souls Va Andrews / Boek Gebonden (paperback)
common.buy 8.59 €
Medical Imaging Techniques and Applications Marcus Lewis / Boek Gebonden (harde band)
common.buy 119.99 €
TOP
100 Things to Know About Numbers, Computers & Coding NOT KNOWN / Boek Gebonden (harde band)
common.buy 11.52 €
South Windsor Claire Lobdell / Boek Gebonden (harde band)
common.buy 24.58 €
Information Geometry and Population Genetics Julian Hofrichter / Boek Gebonden (paperback)
common.buy 107.14 €
Coal Mining in Pakistan Mudassar Ali Raja / Boek Gebonden (paperback)
common.buy 35.71 €
Operational Costs in Acquisitions James R. Coffey / Boek Gebonden (paperback)
common.buy 53.41 €
First Victory Stewart Andrew Stewart / E-book Adobe ePub DRM
common.buy 12.84 €
Essential Business Grammar Builder, w. Audio-CD Paul Emmerson / Boek Gebonden (paperback)
common.buy 40.66 €
Dark Coulee Mary Logue / Boek Gebonden (paperback)
common.buy 14.76 €
Landscape Design / Boek Gebonden (harde band)
common.buy 60.60 €
TOP
John Donne John Donne / Boek Gebonden (paperback)
common.buy 11.52 €
Community, Economic Creativity, and Organization Ash Amin / Boek Gebonden (harde band)
common.buy 78.61 €

Inloggen

Log in op je account. Heb je nog geen Libristo-account? Maak nu een account aan!

 
verplicht
verplicht
Wachtwoord vergeten

Heb je geen account? Profiteer van de voordelen van een Libristo-account!

Met een Libristo-account heb je alles onder controle.

Een Libristo-account aanmaken