عنوان
پدید آورنده
موضوع
رده
QA 76 .64 .M845 2002
QA
76
.
64
.
M845
2002
کتابخانه
محل استقرار
137302
تابستان۳۸
English
)20(
Muller, Peter
1972-
Modular specification and verification of object-oriented programs
Berlin
Springer
2002
xiv, 292 p.: ill.; 24 cm
Lecture notes in computer science, 2030-3479
2262
Based on the author's thesis )doctoral(--Fernuniversitat Hagen, 2001
Includes bibliographical references and index
، Object-oriented programming )Computer science(
، Modular programming
، Computer software-- Development
QA
76
.
64
.
M845
2002
AU
Peter Muller
TI
SE
02
