1. From object-orientation to formal methods
Author: / Olaf Owe, Stein Krogdahl, Tom Lyche (eds.)
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Object-oriented methods (Computer science),Formal methods (Computer science),System design.
Classification :
QA
,
76
.
9
,.
O35
,
F76
,
2004
2. From object-orientation to formal methods : essays in memory of Ole-Johan Dahl
Author: Olaf Owe, Stein Krogdahl, Tom Lyche )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Object-oriented methods )Computer science(,، Formal methods )Computer science(,، System design
Classification :
QA
76
.
L28
Vol
.
2635
3. Validated designs for object-oriented systems
Author: / John Fitzgerald ... [et al.]
Library: Central Library and Information Center of the University of Mohaghegh Ardabili (Ardabil)
Subject: Object-oriented methods (Computer science),Formal methods (Computer science),System design
Classification :
QA76
.
9
.
O35
,
V35
2005
4. Validated designs for object-oriented systems
Author: / John Fitzgerald ... [et al.]
Library: Central Library and Information Center of the University of Mohaghegh Ardabili (Ardabil)
Subject: Object-oriented methods (Computer science),Formal methods (Computer science),System design
Classification :
QA76
.
9
.
O35
,
V35
2005
