Mathematics of Program Construction
Subtitle: 9th International Conference, MPC 2008, Marseille, France, July 15-18, 2008. Proceedings
By: edited by David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, Philippe Audebaud, Christine Paulin-Mohring
Contributors: Audebaud, Philippe; Kanade, Takeo; Kittler, Josef, 1946-; Kleinberg, Jon; Mattern, Friedemann; Mitchell, John C.; Naor, Moni, 1961-; Nierstrasz, Oscar Marius, 1957-; 1955-; Paulin-Mohring, Christine, 1962-; Steffen, Bernhard; Sudan, Madhu; Terzopoulos, Demetri; Tygar, J.D.; Vardi, Moshe Y.; Weikum, Gerhard; SpringerLink (Online service)
Series: Lecture Notes in Computer Science -- 5133
Publisher: Springer-Verlag Berlin Heidelberg
Published: 2008
Place of publication: Berlin, Heidelberg
Language: eng
Format: [electronic resource] :
Number of pages: 421
ISBN-13: 9783540705932; 9783540705949
Subjects: Logic design; Computer science; Software engineering