عنوان
پدید آورنده
موضوع
رده
QA 76 .L28 Vol.2262
QA
76
.
L28
Vol
.
2262
کتابخانه
محل استقرار
Modular specification and verification of object-oriented programs
Berlin
Springer-Verlag
c2002
xiv, 292 p.: ill
Lecture notes in computer science; 2622
Based on a dissertation )Ph.D.(-FernUniversitat Hagen, 2001.
Bibliography: p.]271[-283
ISBN: 3540431675
Peter Muller
1
، Object-oriented programming )Computer science(
، Computer software -- Development
، Modular programming
QA
76
.
L28
Vol
.
2262
Muller, Peter
AU
TI
SE
