Validated designs for object-oriented systems /
Validated designs for object-oriented systems /
John Fitzgerald ... [et al.].
- London : Springer, c.2005.
- xii, 402 p. : ill. ; 24 cm.
"With 89 figures."
Includes bibliographical references (p. 383-385) and index.
1852338814 9781852338817
2004056526
Object-oriented methods (Computer science)
Formal methods (Computer science)
System design.
--Reading book
QA76.9.O35 / V35 2005
005.117 / VAL
"With 89 figures."
Includes bibliographical references (p. 383-385) and index.
1852338814 9781852338817
2004056526
Object-oriented methods (Computer science)
Formal methods (Computer science)
System design.
--Reading book
QA76.9.O35 / V35 2005
005.117 / VAL