[email protected]
LIBRISTO 0
DHL Abholort 4.69 € Hermes Kurierdienst 4.99 € DHL-Kurier 3.99 € Hermes-Stelle 4.49 € GLS-Kurierdienst 3.99 €
phone Kontakt phoneWie einkaufen

Logic Based Program Synthesis and Transformation

Sprache EnglischEnglisch
Buch Broschur
Buch Logic Based Program Synthesis and Transformation M. Leuschel
Libristo-Code: 01562768
Verlag Springer, Berlin, November 2002
This book constitutes the thoroughly refereed post-proceedings of the 12th International Workshop on... Vollständige Beschreibung
? points 177 b
70.50 € inkl. MwSt.
Externes Lager in kleiner Menge Wir versenden in 13-16 Tagen

30 Tage für die Rückgabe der Ware

Das könnte Sie auch interessieren

Monsters of River & Rock: My Life as Iron Maiden's Compulsive Angler / Hardcover
common.buy 27.02 €
Let the Old Dreams Die John Ajvide Lindqvist / Broschur
common.buy 12.80 €
Keynes Robert Skidelsky / Broschur
common.buy 14.11 €
The Skyhawk Years: The A-4 Skyhawk in Australian Service 1968 - 1984 David Prest / Hardcover
common.buy 25.11 €
Practical Simulation in Urology Chandra Shekhar Biyani / Hardcover
common.buy 281.03 €
Benjamín Solari Parravicini Zerpa / Broschur
common.buy 13.10 €
Mariko Mori Vicky Hayward / Blatt
common.buy 69.59 €
Petru Fideliovi Sborník k sedmdesátinám Lucie Malá / Broschur
common.buy 9.57 €
TERRIFIC TUNES FOR TWO BOOK 1 MARTHA MIER / Broschur
common.buy 8.06 €
Principles of Accounts for CSEC (R) Examinations 3rd Edition Student's Book Gaynelle Holdip / Broschur
common.buy 27.33 €
Benjamin Britten Benjamin Britten / Broschur
common.buy 13.71 €
Floating Gate Devices: Operation and Compact Modeling Paolo Pavan / Hardcover
common.buy 139.20 €
Modern Construction Envelopes Andrew Watts / Hardcover
common.buy 120.54 €
Max Beckmann / Hardcover
common.buy 84.93 €
Specimen Sight-Singing Tests, Grades 6-8 ABRSM / Noten
common.buy 14.92 €
Creative Journey Through Art; Book One, Adult Colouring Book: Adult Colouring Book (revised version) / Broschur
common.buy 9.37 €

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.

Informationen zum Buch

Vollständiger Name Logic Based Program Synthesis and Transformation
Autor M. Leuschel
Sprache Englisch
Einband Buch - Broschur
Datum der Veröffentlichung 2003
Anzahl der Seiten 279
EAN 9783540404385
ISBN 3540404384
Libristo-Code 01562768
Verlag Springer, Berlin
Gewicht 417
Abmessungen 155 x 235 x 15

Kategorie

Kinder, Jugendliche und Bildung > Unterrichtsmaterial > Schule und Lernen: Mathematik, Naturwissenschaften, Technik allgemein > Schule und Lernen: Naturwissenschaften, allgemein
EDV und Informationstechnologie > Informatik > Theoretische Informatik
EDV und Informationstechnologie > Informatik > Rechnerarchitektur und Logik-Entwurf
EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung
Verschenken Sie dieses Buch noch heute
Es ist ganz einfach
1 Legen Sie das Buch in Ihren Warenkorb und wählen Sie den Versand als Geschenk 2 Wir schicken Ihnen umgehend einen Gutschein 3 Das Buch wird an die Adresse des beschenkten Empfängers geliefert

Anmeldung

Melden Sie sich bei Ihrem Konto an. Sie haben noch kein Libristo-Konto? Erstellen Sie es jetzt!

 
obligatorisch
obligatorisch
Passwort vergessen

Sie haben kein Konto? Nutzen Sie die Vorteile eines Libristo-Kontos!

Mit einem Libristo-Konto haben Sie alles unter Kontrolle.

Erstellen Sie ein Libristo-Konto