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