TY  - BOOK
AU  - Fitzgerald,John
ED  - SpringerLink (Online service)
TI  - Validated Designs for Object-oriented Systems
SN  - 9781846281075 (electronic bk.)
AV  - QA76.9.O35 V35 2005
U1  - 005.117 22
PY  - 2005///
CY  - London
PB  - Springer-Verlag London Limited
KW  - Object-oriented methods (Computer science)
KW  - Formal methods (Computer science)
KW  - System design
KW  - Computer Science
KW  - Software Engineering/Programming and Operating Systems
KW  - Software Engineering
KW  - Discrete Mathematics in Computer Science
UR  - https://eresourcesptsl.ukm.remotexs.co/login?url=http://dx.doi.org/10.1007/b138800
ER  -