TY  - BOOK
AU  - Fitzgerald,John
TI  - Validated designs for object-oriented systems
SN  - 1852338814
AV  - QA76.9.O35 V35 2005
U1  - 005.117 23
PY  - 2005///
CY  - London
PB  - Springer
KW  - Object-oriented methods (Computer science)
KW  - Formal methods (Computer science)
KW  - System design
KW  - CS
KW  - December2013
KW  - reading book
N1  - "With 89 figures."; Includes bibliographical references (p. 383-385) and index
ER  -