Suchfeld einblenden
Person Müller-Olm, Markus
1 Treffer
Seite < 1 >
Müller-Olm, Markus: Modular compiler verification
: a refinement algebraic approach advocating stepwise abstraction / Markus Müller-Olm. - Berlin : Springer, 1997. - XII, 250 S.; 24 cm - (Lecture notes in computer science; Vol. 1283)
ISBN 978-3-540-63406-5 / 3-540-63406-1 kart. : DM 66.00
Literaturverz. S. 239 - 243
Quelle: DNB
Seite < 1 >
