عنوان
پدید آورنده
موضوع
رده
QA 76 .L28 Vol.1283
QA
76
.
L28
Vol
.
1283
کتابخانه
محل استقرار
Modular compiler verification : a refinement-algebraic approach advocating stepwise abstraction
Berlin
Springer-Verlag
c1997
xii, 250 p.: ill., tables
Lecture notes in computer science; 3821
Bibliography: p. ]239[-243
ISBN 3540634061
Markus Muller-Olm
1
، Compilers )Computer programs(
، Computer software -- Verification
QA
76
.
L28
Vol
.
1283
Muller-Olm, Markus
AU
TI
SE
