عنوان
پدید آورنده
موضوع
رده
QA,76.9,.O35,F76,2004
QA
,
76
.
9
,.
O35
,
F76
,
2004
کتابخانه
محل استقرار
alk. paper)
354021366X (softcover
IR
ebook28622
انگلیسی
IR
From object-orientation to formal methods
[Electronic Resource]
:essays in memory of Ole-Johan Dahl
/ Olaf Owe, Stein Krogdahl, Tom Lyche (eds.)
Berlin ;New York
: Springer,
, c2004.
x, 388 p.
: ill., port. ; 24 cm.
(Lecture notes in computer science,0302-9743
; 2635)
e
Includes bibliographical references and index.
Object-oriented methods (Computer science)
Formal methods (Computer science)
System design.
005
.
1
,
1
QA
,
76
.
9
,.
O35
,
F76
,
2004
Dahl, Ole-Johan� 1931
Owe, Olaf
Krogdahl, Stein
Lyche, Tom
ایران
005.1,1
354021366X.pdf
0
0
old catalog
e
BL
1
a
Y
