[email protected]
LIBRISTO 0
Österreichische Post 5.99 € DPD-Kurier 6.49 € GLS-Kurier 4.49 €
phone Kontakt phoneWie einkaufen

Mathematics of Program Construction

Sprache EnglischEnglisch
Buch Broschur
Buch Mathematics of Program Construction Eerke A. Boiten
Libristo-Code: 01564425
Verlag Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, Juni 2002
This book constitutes the refereed proceedings of the 6th International Conference on Mathematics of... Vollständige Beschreibung
? points 161 b
64.16 € 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

Charles Dickens Johann N. Schmidt / Broschur
common.buy 9.07 €
Zwischen Ende und Neuanfang Freimut Hengst / Broschur
common.buy 50.35 €
Metal Impurities in Silicon-Device Fabrication Klaus Graff / Broschur
common.buy 126.51 €
Enzyme Induction and Modulation V.A. Najjar / Broschur
common.buy 251.32 €
Organisationsentwicklung Konkret Ralph Grossmann / Broschur
common.buy 50.44 €
Once in a Lifetime Jill Shalvis / Broschur
common.buy 8.47 €
Memoria dirigida al Sr. Marquez de Loreto, Virey y Capitan General de las Provincias del Rio de La Plata Francisco de Viedma / Hardcover
common.buy 37.93 €
Italienische Migration Nach Deutschland Marc Schmid / Broschur
common.buy 60.53 €

This book constitutes the refereed proceedings of the 6th International Conference on Mathematics of Program Construction, MPC 2002, held in Dagstuhl Castle, Germany, in July 2002.The 11 revised full papers presented were carefully reviewed and selected for inclusion in the book; also presented are one invited paper and the abstracts of two invited talks. Among the topics covered are programming methodology, program specification, program transformation, programming paradigms, programming calculi, and programming language semantics.

Informationen zum Buch

Vollständiger Name Mathematics of Program Construction
Autor Eerke A. Boiten, Bernhard Möller
Sprache Englisch
Einband Buch - Broschur
Datum der Veröffentlichung 2002
Anzahl der Seiten 263
EAN 9783540438571
ISBN 3540438572
Libristo-Code 01564425
Verlag Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Gewicht 438
Abmessungen 158 x 231 x 16

Kategorie

Mathematik und Naturwissenschaften > Mathematik > Mathematische Grundlagen > Mathematik: Logik
EDV und Informationstechnologie > Informatik > Mensch-Computer-Interaktion > Interfacedesign, Benutzerfreundlichkeit (Usability)
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
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