00974cam a22003014a 4500 13676643 20131203095130.0 040804t2005 xxka frb 001 0 eng 2004056526 1852338814 9781852338817 DLC DLC DLC pcc QA76.9.O35 V35 2005 005.117 23 VAL 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. Object-oriented methods (Computer science) 34507 Formal methods (Computer science) 29211 System design. 34508 CS December2013 reading book 34232 Fitzgerald, John, 1965- 34509 ddc BB 005.117 VAL 17772 17744 0 0 ddc 0 0 Baccah MAIN MAIN LOW 2013-12-01 purchase 0 005.117 VAL 000029640 2025-07-15 00:00:00 BB 0 0 ddc 0 0 Baccah MAIN MAIN LOW 2013-12-02 purchase 1 2 005.117 VAL 000029644 2025-07-15 00:00:00 2016-11-01 BB