Validated designs for object-oriented systems /
Fitzgerald, John,1965-
London : Springer,
c2005.
"With 89 figures"--T.p.
Includes bibliographical references (p. [383]-385) and index.
Object-oriented methods (Computer science)
Formal methods (Computer science)
System design.