Validated Designs for Object-oriented Systems
Validated Designs for Object-oriented Systems [electronic resource] /
by John Fitzgerald ... [et al.].
- London : Springer-Verlag London Limited, 2005.
- xii, 402 p. : ill., digital ; 24 cm.
9781846281075 (electronic bk.) 9781852338817 (paper)
Object-oriented methods (Computer science)
Formal methods (Computer science)
System design.
Computer Science.
Software Engineering/Programming and Operating Systems.
Software Engineering.
Discrete Mathematics in Computer Science.
QA76.9.O35 / V35 2005
005.117
9781846281075 (electronic bk.) 9781852338817 (paper)
Object-oriented methods (Computer science)
Formal methods (Computer science)
System design.
Computer Science.
Software Engineering/Programming and Operating Systems.
Software Engineering.
Discrete Mathematics in Computer Science.
QA76.9.O35 / V35 2005
005.117
