Treffer: Mathematics of Program Construction

Titel:

Mathematics of Program Construction : 9th International Conference, MPC 2008 Marseille, France, July 15-18, 2008 Proceedings / edited by Philippe Audebaud, Christine Paulin-Mohring

Beteiligt:

Audebaud, Philippe (Herausgeber); Paulin-Mohring, Christine (Herausgeber)

Ausgabe:

1st ed. 2008

Veröffentlicht:

Berlin, Heidelberg : Springer Berlin Heidelberg, 2008

Vertrieb:

Cham : Springer International Publishing AG

Umfang:

1 Online-Ressource (X, 423 Seiten)

Format:

E-Book

Sprache:

Englisch

Schriftenreihe/Mehrbändiges Werk:

Theoretical Computer Science and General Issues, ISSN 2512-2029 ; 5133

Andere Ausgaben:

Erscheint auch als Druck-Ausgabe: Mathematics of Program Construction. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2008. - ISBN 9783540705932

RVK-Notation:

SS 4000

Schlagworte:

ISBN:

9783540705949 ; 3540705945 ; 978--354070593-2 (Sekundärausgabe) ; 978--354086669-5 (Sekundärausgabe)

DOI:

10.1007/978-3-540-70594-9

Treffer: Mathematics of Program Construction

Zusatz-Informationen

Zusatz-Funktionen