Suchfeld einblenden
Person Audebaud, Philippe
1 Treffer
Seite < 1 >
Mathematics of program construction
: 9th international conference ; proceedings / MPC 2008, Marseille, France, July 15 - 18, 2008. Philippe Audebaud ... (ed.). - Berlin : Springer, 2008. - Online-Ressource - (Lecture notes in computer science; 5133)
ISBN 978-3-540-70594-9
Lizenzpflichtig
Quelle: DNB
Seite < 1 >