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

18th International Symposium, LOPSTR 2008, Valencia, Spain, July 17-18, 2008, Revised Selected Papers

Taal EngelsEngels
Boek Gebonden (paperback)
Boek Logic-Based Program Synthesis and Transformation Michael Hanus
Libristo-code: 01649407
Uitgeverij Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, februari 2009
This book constitutes the thoroughly refereed post-conference proceedings of the 18th International... Volledige beschrijving
? points 125 b
51.75 €
In extern magazijn Wordt binnen 5-8 dagen verzonden

Retourneren binnen 30 dagen

Klanten kochten ook

Infiltration und Bodenfeuchte. Prozesse und Mechanismen der Versickerung. Wasserspeicherung in Böden und dessen Bedeutung für Pflanzen Antonio Salmeri / Boek Gebonden (paperback)
common.buy 16.20 €
Kultur ALS Naturgeschichte Christian Mehr / Boek Gebonden (harde band)
common.buy 117.28 €
Abrege de la Philosophie de Gassendi Francois Bernier / Boek Gebonden (paperback)
common.buy 30.27 €
Juhlajulkaisu: Suomalaisen Kansallis-Raittius-Veljeysseuran 25-Vuotisen Toiminnan Muistoksi, Toimituttanut S.K.-R.-Veljeysseura Anonymous / Boek Gebonden (paperback)
common.buy 25.11 €
Fisioterapeuta del Servicio de Salud de la Comunidad de Madrid. EDICIÓN COLECTIVOS CLAVIJO GAMERO / Boek Gebonden (paperback)
common.buy 37.06 €
casa dei suoni e delle parole. Percorsi di recupero e potenziamento delle abilità fonologiche e metafonologiche Giulia Fedrigo / Boek Gebonden (paperback)
common.buy 28.55 €
VOLTAREI A SEDUZIR-TE; CAMINHO PARA O CORAÇÇO MANN / Boek Boek
common.buy 7.69 €
Controstoria del franchismo. Fatti, retroscena e scomode verità sul regime del Caudillo Roberto Lobosco / Boek Gebonden (paperback)
common.buy 28.05 €
The Rational Male (Band II) - Deutsche Auflage Rollo Tomassi / Boek Gebonden (paperback)
common.buy 23.89 €

This book constitutes the thoroughly refereed post-conference proceedings of the 18th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2008, held in Valencia, Spain, during July 17-18, 2008. §The 11 revised full papers presented together with one invited talk were carefully reviewed and selected for inclusion in the book. LOPSTR traditionally solicits papers in the areas of specification, synthesis, verification, transformation, analysis, optimization, composition, security, reuse, applications and tools, component-based software development, software architectures, agent-based software development, and program refinement.

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 Michael Hanus
Taal Engels
Bindwijze Boek - Gebonden (paperback)
Datum van uitgifte 2009
Aantal pagina's 185
EAN 9783642005145
ISBN 3642005144
Libristo-code 01649407
Uitgeverij Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Gewicht 308
Afmetingen 155 x 235 x 11

Categorieën

Wiskunde en wetenschap > Wiskunde > Calculus en wiskundige analyse > Numerieke analyse
Informatica en informatietechnologie > Computerprogrammering / softwareontwikkeling > Algoritmes en datastructuren
Informatica en informatietechnologie > Computerprogrammering / softwareontwikkeling > Vertaal- en vertolkingsprogramma‘s
Informatica en informatietechnologie > Computerprogrammering / softwareontwikkeling > Programmeren en scripttalen: algemeen
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

Dit vind je misschien ook interessant

Moses in America Melanie Jane Wright / Boek Gebonden (harde band)
common.buy 111.50 €
TOP
Yandere Dark Elf: She Chased Me All the Way from Another World! Vol. 4 Nakanosora / Boek Gebonden (paperback)
common.buy 12.14 €
SURVEYING: ORGANIZATION, EXPERTISE, MANAGEMENT / Boek Gebonden (paperback)
common.buy 245.80 €
Explorers on Black Ice Bridge Alex Bell / E-book Adobe ePub DRM
common.buy 7.59 €
Cinderella Is Dead Kalynn Bayron / Boek Gebonden (paperback)
common.buy 8.60 €
Lucky Per Henrik Pontoppidan / Boek Gebonden (harde band)
common.buy 14.88 €
Imperator Anna Hackett / Boek Gebonden (paperback)
common.buy 12.14 €
Changing State Feminism J. Outshoorn / Boek Gebonden (paperback)
common.buy 106.44 €
List of Works in the New York Public Library Relating to Persia Ida Augusta Pratt / Boek Gebonden (paperback)
common.buy 17.82 €
A Dictionary of Christian Biography, Literature, Sects and Doctrines Hermogenes to Julianus V5 (LARGE PRINT EDITION) William Smith / Boek Gebonden (harde band)
common.buy 68.76 €
Daughter of the Sword Steve Bein / Boek Gebonden (paperback)
common.buy 20.35 €
Sexual Dysfunction A R Markos / Boek Gebonden (harde band)
common.buy 135.40 €
Disturbing Influence Julian Mitchell / Boek Gebonden (paperback)
common.buy 18.32 €
British America 1500-1800 Steven Sarson / Boek Gebonden (paperback)
common.buy 63.90 €

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
Boekadviseur Libroamiko
Hoi, ik ben Libroamiko, kan ik helpen?