[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 Danny De Schreye
Libristo-Code: 01655691
Verlag Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, April 2010
This volume constitutes the thoroughly refereed post-conference proceedings of the 19th Internationa... 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

Slavné melodie v lehké úpravě pro klavír 6 R. Linhart / Broschur
common.buy 7.86 €
Killer Colada Sibel Hodge / Broschur
common.buy 14.21 €
Aging Literacies Angela Crow / Hardcover
common.buy 61.93 €
Thoraxdiagnostik Dag Wormanns / binding.
common.buy 84.73 €
Gene, the Clinic, and the Family Joanna Latimer / Broschur
common.buy 65.36 €
Die Chemische Blockierung Des Adrenergischen Systems Am Menschen Arnold Bernsmeier / Broschur
common.buy 55.47 €
Welt der Zahl - Ausgabe 2014 für Bayern / Blatt
common.buy 18.66 €

This volume constitutes the thoroughly refereed post-conference proceedings of the 19th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2009, held in Coimbra, Portugal, during September 9-11, 2009. The 14 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.

Informationen zum Buch

Vollständiger Name Logic-Based Program Synthesis and Transformation
Autor Danny De Schreye
Sprache Englisch
Einband Buch - Broschur
Datum der Veröffentlichung 2010
Anzahl der Seiten 205
EAN 9783642125911
ISBN 3642125913
Libristo-Code 01655691
Verlag Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Gewicht 338
Abmessungen 155 x 235 x 12

Kategorie

Technologie, Ingenieurswissenschaft, Landwirtschaft, Industrieprozesse > Elektronik, Nachrichtentechnik > Elektronik > Regelungstechnik > Robotik
EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Algorithmen und Datenstrukturen
EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Compiler und Übersetzer
EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Programmier- und Skriptsprachen, allgemein
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