Suchfeld einblenden
Person Olderog, Ernst-Rüdiger
2 Treffer
Seite < 1 >
Correct system design
: recent insights and advances / E.-R. Olderog ... (ed.). - Berlin : Springer, 2000. - Online-Ressource - (Lecture notes in computer science; 1710)
ISBN 978-3-540-48092-1
Lizenzpflichtig
Quelle: DNB
Apt, Krzysztof R.: Programmverifikation
: sequentielle, parallele und verteilte Programme / Krzysztof R. Apt ; Ernst-Rüdiger Olderog. - Berlin : Springer, 1994. - XII, 258 S.; 24 cm - (Springer-Lehrbuch)
ISBN 978-3-540-57479-8 / 3-540-57479-4 kart. : DM 48.00, sfr 48.00, S 374.40
Literaturverz. S. 245 - 250
Quelle: DNB
Seite < 1 >
