عنوان
پدید آورنده
موضوع
رده
QA,76.64,.M845,2002
QA
,
76
.
64
,.
M845
,
2002
کتابخانه
محل استقرار
(pbk.)
3540431675
IR
ebook29055
انگلیسی
IR
Modular specification and verification of object-oriented programs
[Electronic Resource]
/ Peter M?�ller
Berlin ;New York
: Springer,
, c2002.
xiv, 292 p.
: ill. ; 24 cm.
(Lecture notes in computer science,0302-9743
; 2262)
Based on the author's thesis (doctoral)--Fernuniversit?nt Hagen, 2001.
e
Includes bibliographical references (p. [271]-283) and index.
Object-oriented programming (Computer science)
Modular programming.
Computer software--Development
005
.
1
QA
,
76
.
64
,.
M845
,
2002
M?�ller, Peter, 1972
ایران
005.1
3540431675.pdf
0
0
old catalog
e
BL
1
a
Y
