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 69.99 €
DPD koerier 5.99 € Bpost punt 7.99 € Bpost 7.49 € DPD-punt 3.49 € GLS koerier 4.99 €
phone Contact phoneHoe winkelen bij ons werkt
Gratis bezorging voor bestellingen boven de 69,99 euro.

Logic-Based Program Synthesis and Transformation

17th International Symposium, LOPSTR 2007, Kongens Lyngby, Denmark, August 23-24, 2007, Revised Selected Papers

Taal EngelsEngels
Boek Gebonden (paperback)
Boek Logic-Based Program Synthesis and Transformation Andy King
Libristo-code: 01570057
Uitgeverij Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, maart 2008
This postproceedings volume of the 17th International Symposium on Logic-Based Program Synthesis and... Volledige beschrijving
? points 125 b
51.62 €
In extern magazijn Wordt binnen 5-8 dagen verzonden

Tot 30 dagen retourrecht

Klanten kochten ook

Manual técnico de la construcción. Gestión de la prevención de riesgos laborales y de la protección S. L. Consultores en Previsión Social / Boek Gebonden (paperback)
common.buy 109.10 €
Curso sobre agricultura biodinámica STEINER / Boek Gebonden (paperback)
common.buy 23.43 €
Ad gentes. Racconti dalle missioni Filippo Maggi / Boek Gebonden (paperback)
common.buy 20.90 €
Circoncision masculine sans risque pour l'infection par le VIH en Ouganda Nicholas Sebuliba Kirirabwa / Boek Gebonden (paperback)
common.buy 35.65 €
Tubbz kachnička mini Krotitelé duchů - Ray Stanz Spel/speelgoed Speelgoed
common.buy 12.92 €
20. Jahrhundert. Gefahrdet und gefahrlich Christiane Hagn / Boek Gebonden (paperback)
common.buy 16.16 €
Klar zum Feuern John Martin Ungar / Boek Gebonden (paperback)
common.buy 9.08 €
Biale noce Fiodor Dostojewski / E-book Adobe ePub DRM
common.buy 4.03 €
Autonomía de la escuela : principios y propuestas Gadotti (BR) / Boek Gebonden (paperback)
common.buy 21.61 €
Hekid ja aiaseinad. kodu & aia praktiline aiavihik 41 / Boek Gebonden (paperback)
common.buy 4.54 €
L'Histoire Des Juifs Depuis Jesus-Christ Jusqu'a Present: Pour Servir de Suplement [Sic] & de Continuation A L'Histoire de Joseph... Jacques Basnage / Boek Gebonden (paperback)
common.buy 32.52 €
Pathologie und Therapie der mannlichen Impotenz Victor G. Vecki / Boek Gebonden (paperback)
common.buy 19.69 €
Extraits Du 'Lexicon Politique', Ouvrage Inedit Du Chevalier de Sade. Volume 3 De Sade-L / Boek Gebonden (paperback)
common.buy 12.72 €
Melekler Kiz mi, Erkek mi Özkan Öze / Boek Gebonden (paperback)
common.buy 9.18 €
Die asiatische Cholera Joseph Riedel / Boek Gebonden (paperback)
common.buy 12.32 €
Fourmi, Productions de l'Ete Pour Nos Recreations de l'Hiver SANS AUTEUR / Boek Gebonden (paperback)
common.buy 17.37 €

This postproceedings volume of the 17th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2007, examines program termination, program transformation, constraint solving and analysis as well as software engineering.

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 Andy King
Taal Engels
Bindwijze Boek - Gebonden (paperback)
Datum van uitgifte 2008
Aantal pagina's 222
EAN 9783540787686
ISBN 3540787682
Libristo-code 01570057
Uitgeverij Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Gewicht 365
Afmetingen 154 x 14 x 239

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

Dit vind je misschien ook interessant

Controlled Nanoscale Motion Heiner Linke / Boek Gebonden (harde band)
common.buy 102.84 €
Delaware Indian Legend and the Story of their Troubles Richard C. Adams / Boek Gebonden (paperback)
common.buy 12.62 €
Extraordinary Cases. Henry L Clinton / Boek Gebonden (paperback)
common.buy 26.56 €
A Blueprint For Achieving Peace On Earth MR Russell E Hill / Boek Gebonden (paperback)
common.buy 14.84 €
The Notary Art of Solomon: Ars Notoria King Solomon / Boek Gebonden (paperback)
common.buy 7.16 €
Chimpanzee Lisa Jackson / Boek Gebonden (harde band)
common.buy 35.45 €
Clarinet for Beginners: Book 1 - Elementary Avrahm Galper / Boek Gebonden (paperback)
common.buy 12.42 €
Cheyenne Quinn M. Arnold / Boek Gebonden (harde band)
common.buy 38.48 €
Drowning In My Tea Cup: There Should Have Been A Rainbow Joseph C Cullis / Boek Gebonden (paperback)
common.buy 8.07 €
Remarks on the Principles Adopted by Bishop Lowth in Correcting the Text of the Hebrew Bible John Rogers / Boek Gebonden (paperback)
common.buy 18.38 €
Retail Marketing Strategy Constant Berkhout / Boek Gebonden (harde band)
common.buy 120.32 €
Beyond Chopped Liver Kenden Alfond / Boek Gebonden (harde band)
common.buy 35.55 €
TOP
Rise of the Dragon Elio M. Garcia Jr. / Boek Gebonden (harde band)
common.buy 36.77 €
Wong Kar-wai Silver Wai-ming Lee / E-book Adobe ePub DRM
common.buy 28.58 €
THINGS WE DO TO OUR FRIENDS DARWENT HEATHER / Boek Gebonden (paperback)
common.buy 14.74 €
Values Andreas Urs Sommer / Boek Gebonden (harde band)
common.buy 47.98 €
Nieuw
International Perspectives on Intercultural Learning in English Language Teaching Troy McConachy / Boek Gebonden (harde band)
common.buy 137.90 €
Nieuw
Fake Leadership in Higher Education Agnieszka Bienkowska / Boek Gebonden (harde band)
common.buy 159.12 €
Memoirs Of Eighty Years (1892) Hake Gordon / Boek Gebonden (paperback)
common.buy 32.52 €
Living Theory C.E. Hurst / Boek Gebonden (paperback)
common.buy 116.58 €
Miki Falls, Spring Mark Crilley / Boek Gebonden (paperback)
common.buy 8.38 €
Essays in Memory of Imre Lakatos Robert S. Cohen / Boek Gebonden (harde band)
common.buy 175.38 €
Incinerator Niall Leonard / Boek Gebonden (paperback)
common.buy 13.93 €
Prime Minister's Ironing Board and Other State Secrets Adam Macqueen / Boek Gebonden (paperback)
common.buy 15.75 €

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?