[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 Maurice Bruynooghe
Libristo-Code: 01559466
Verlag Springer, Berlin, November 2003
This book constitutes the thoroughly refereed postproceedings of the 13th International Symposium on... Vollständige Beschreibung
? points 177 b
70.52 € 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

TOP
Incredible English: 2: Class Book Sarah Phillips / Broschur
common.buy 17.75 €
Mein Wörter-Schreibheft - erste Rechtschreibregeln Bernadette Frechen / Blatt
common.buy 3.53 €
Ehe ich mich Traue Joachim Peters / Broschur
common.buy 8.06 €
Chemie heute SI - Ausgabe 2013 für Sachsen Wolfgang Asselborn / Blatt
common.buy 10.59 €
Embracing a Dictatorship Boris N Liedtke / Hardcover
common.buy 147.60 €
Dezentrale Vermögensbildungsfonds. Barbara Toillié / Hardcover
common.buy 60.44 €
Charismating - Einkauf als Erlebnis Claudius A. Schmitz / Hardcover
common.buy 40.26 €
Information im oeffentlich-rechtlichen Fernsehen Cornelia Steinigen / Broschur
common.buy 18.11 €

This book constitutes the thoroughly refereed postproceedings of the 13th International Symposium on Logic Based Program Synthesis and Transformation, LOPSTR 2003, held in Uppsala, Sweden in August 2003.The 12 revised full papers presented were carefully selected during two rounds of reviewing and revision from 32 submissions. Also included are an invited paper and abstracts of 5 papers presented at the workshop. The papers are organized in topical sections on specification and synthesis, verification, analysis, transformation and specialization, and constraints.

Informationen zum Buch

Vollständiger Name Logic Based Program Synthesis and Transformation
Autor Maurice Bruynooghe
Sprache Englisch
Einband Buch - Broschur
Datum der Veröffentlichung 2004
Anzahl der Seiten 238
EAN 9783540221746
ISBN 3540221743
Libristo-Code 01559466
Verlag Springer, Berlin
Gewicht 380
Abmessungen 156 x 234 x 13

Kategorie

Technologie, Ingenieurswissenschaft, Landwirtschaft, Industrieprozesse > Elektronik, Nachrichtentechnik > Elektronik > Regelungstechnik > Robotik
EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Software Engineering
EDV und Informationstechnologie > Informatik > Theoretische Informatik
EDV und Informationstechnologie > Informatik > Rechnerarchitektur und Logik-Entwurf
EDV und Informationstechnologie > Informatik > Künstliche Intelligenz
EDV und Informationstechnologie > Betriebssysteme
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