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

12th International Workshop, LOPSTR 2002, Madrid, Spain, September 17-20, 2002, Revised Selected Papers

Taal EngelsEngels
Boek Gebonden (paperback)
Boek Logic Based Program Synthesis and Transformation M. Leuschel
Libristo-code: 01562768
Uitgeverij Springer, Berlin, november 2002
This book constitutes the thoroughly refereed post-proceedings of the 12th International Workshop on... Volledige beschrijving
? points 125 b
51.75 €
In extern magazijn Wordt binnen 5-8 dagen verzonden

Retourneren binnen 30 dagen

Klanten kochten ook

Manual para ser feliz around the world ALESS GIBAJA / Boek Gebonden (paperback)
common.buy 17.21 €
Pojazdy Ernest Błędowski / Boek Gebonden (paperback)
common.buy 1.31 €
Thomas Jules Lebrun / Boek Gebonden (harde band)
common.buy 9.00 €
La rythmologie - une date bien choisie peut changer votre vie Wozniak / Boek Gebonden (paperback)
common.buy 22.98 €
TOP
Benjamín Solari Parravicini Zerpa / Boek Gebonden (paperback)
common.buy 11.54 €
PARIS GA TANOSHIKUNARU (GUIDE DE CONVERSATION) (bilingue Japonais - Français) Ogino Boek Gebonden (paperback)
common.buy 19.54 €
Un jour, une dictée CM1 - Cahier corrigé + Guide PCF collegium / Boek Gebonden (paperback)
common.buy 40.10 €
Osterlandsagen Geyer / Boek Gebonden (paperback)
common.buy 18.02 €
Supplement Au Memoire de M. Clausel de Coussergues En Ce Qui Concerne La Prefecture de Police Cahaisse-H-A / Boek Gebonden (paperback)
common.buy 14.57 €
Pohádky obtáhni a vykresli - omalovánka / Schrijfwaren Schrijfwaren
common.buy 1.41 €
Metaphern der Gewalt Monika Schwarz-Friesel / Boek Gebonden (paperback)
common.buy 32.81 €
Gestion Participativa En Programas Sociales y de Salud Sonia Vanesa Messina / Boek Gebonden (paperback)
common.buy 43.85 €
Malcolm Max - Auferstehung Peter Mennigen / Boek Gebonden (harde band)
common.buy 12.65 €
Brainwash - Gefangene Gedanken, Audio-CD, Audio-CD / Audio Audio cd
common.buy 9.00 €
Expeditionen in den dunklen Kontinent Ruth Hagen / Boek Gebonden (paperback)
common.buy 52.66 €
Písání John Lennon / Boek Gebonden (harde band)
common.buy 9.00 €
? travers la Montagne corse / TopoGuides / Boek Gebonden (paperback)
common.buy 25.11 €
El problema mente-cerebro / The Mind-Body Problem Mario Bunge / Boek Gebonden (paperback)
common.buy 22.17 €
Paula I. Allende / Boek Gebonden (paperback)
common.buy 11.54 €
Intoxicated eyes over the penner: Cheshman-e Mast-e Rooye Ghalamdan Shiva Shakoori / Boek Gebonden (paperback)
common.buy 11.23 €
Petru Fideliovi Sborník k sedmdesátinám Lucie Malá / Boek Gebonden (paperback)
common.buy 10.83 €
Malý zajíček Oblečení neuvedený autor / Boek Leporello (harmonicaboek)
common.buy 2.22 €

This book constitutes the thoroughly refereed post-proceedings of the 12th International Workshop on Logic Based Program Synthesis and Transformation, LOPSTR 2002, held in Madrid, Spain in September 2002.§§The 15 revised full papers presented together with 7 abstracts were carefully selected during two rounds of reviewing and revision from 40 submissions. The papers are organized in topical sections on debugging and types, tabling and constraints, abstract interpretation, program refinement, verification, partial evaluation, and rewriting and object-oriented development.

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 M. Leuschel
Taal Engels
Bindwijze Boek - Gebonden (paperback)
Datum van uitgifte 2003
Aantal pagina's 279
EAN 9783540404385
ISBN 3540404384
Libristo-code 01562768
Uitgeverij Springer, Berlin
Gewicht 417
Afmetingen 155 x 235 x 15

Categorieën

Kinderen, tieners en onderwijs > Onderwijsmateriaal > Onderwijs: Wiskunde, wetenschap en technologie, algemeen > Onderwijs: Wetenschappen, algemene wetenschappen
Informatica en informatietechnologie > Informatica > Wiskundige systeemtheorie
Informatica en informatietechnologie > Informatica > Computerarchitectuur en logica-ontwerp
Informatica en informatietechnologie > Computerprogrammering / softwareontwikkeling
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

Fundamentals of Molecular Spectroscopy Prabal Kumar Mallick / Boek Gebonden (harde band)
common.buy 185.34 €
Practical Simulation in Urology Chandra Shekhar Biyani / Boek Gebonden (harde band)
common.buy 201.44 €
The Meaning of Truth William James / Boek Gebonden (paperback)
common.buy 6.78 €
Treasure Within You Mitra Somerville / Boek Gebonden (paperback)
common.buy 22.17 €
Welcome, Baby!: Keeping You Safe Susan Kathleen Hartung / Boek Leporello (harmonicaboek)
common.buy 8.70 €
Southern Legacy H G Manning / Boek Gebonden (paperback)
common.buy 19.33 €
TERRIFIC TUNES FOR TWO BOOK 1 MARTHA MIER / Boek Gebonden (paperback)
common.buy 15.39 €
TOP
Good Inside: A Guide to Becoming the Parent You Want to Be KENNEDY BECKY / Boek Gebonden (harde band)
common.buy 25.11 €
Endymion Dan Simmons / Boek Gebonden (paperback)
common.buy 14.88 €
TOP
Valor John Gwynne / Boek Gebonden (paperback)
common.buy 17.31 €
Elements John Boyne / Boek Gebonden (paperback)
common.buy 15.99 €
Loving Life Gene Loving / Boek Gebonden (paperback)
common.buy 27.54 €
Seven At The Sevens WritersAnonymous. org / Boek Gebonden (harde band)
common.buy 37.87 €
Creative Journey Through Art; Book One, Adult Colouring Book: Adult Colouring Book (revised version) Margaret Lynn Atkinson / Boek Gebonden (paperback)
common.buy 7.69 €
Monsters of River & Rock: My Life as Iron Maiden's Compulsive Angler Adrian Smith / Boek Gebonden (harde band)
common.buy 24.20 €
Killing Marias CLAUDIA CASTRO LUNA / Boek Gebonden (paperback)
common.buy 12.14 €
OpenCV 3 Computer Vision with Python Cookbook Alexey Spizhevoy / Boek Gebonden (paperback)
common.buy 49.72 €
Science Comics MK Reed / Boek Gebonden (paperback)
common.buy 11.33 €
Understanding Artificial Intelligence Sabouret / Boek Gebonden (harde band)
common.buy 127.20 €
The Center Seat - 55 Years of Trek: Subtitle the Complete, Unauthorized Oral History of Star Trek Peter Holmstrom / Boek Gebonden (harde band)
common.buy 27.34 €
Inverse Synthetic Aperture Radar Imaging With MATLAB Algorithms Caner Ozdemir / Boek Gebonden (harde band)
common.buy 136.72 €
Written Language Disorders R.M. Joshi / Boek Gebonden (harde band)
common.buy 154.55 €
Floating Gate Devices: Operation and Compact Modeling Paolo Pavan / Boek Gebonden (harde band)
common.buy 119.81 €

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