00758pam a2200229 a 4500 010344527 20130930135615.0 030417s2004 enka || 001 0|eng 0333992814 (pbk.) : 005.1 22 CHA Charatan, Quentin. 30996 Formal Software Development : from VDM to Java / Quentin Charatan and Aaron Kans. Basingstoke : Palgrave Macmillan, 2004. xi, 239 p. : ill. ; 25 cm. Includes index. Formerly CIP. Uk Computer software Development. 30997 Formal methods (Computer science) 29211 CS September2012 September2013 Kans, Aaron. 30998 ddc BB 17035 17007 0 0 ddc 0 0 Baccah MAIN MAIN LOW 2012-09-27 purchase 290.00 3 0 005.1 CHA 000027448 2025-07-15 00:00:00 NB 0 0 ddc 0 0 Baccah MAIN MAIN LOW 2012-09-27 purchase 290.00 3 7 81 005.1 CHA 000027449 2025-07-15 00:00:00 2022-10-19 BB 0 0 ddc 0 0 Baccah MAIN MAIN LOW 2012-09-27 purchase 290.00 3 7 74 005.1 CHA 000027450 2025-07-15 00:00:00 2023-12-12 BB 0 0 ddc 0 0 Baccah MAIN MAIN LOW 2013-09-30 500.00 3 44 005.1 CHA 000029102 2019-05-28 00:00:00 2018-10-09 625.00 BB 0 0 ddc 0 0 Baccah MAIN MAIN LOW 2013-09-30 purchase 6 54 005.1 CHA 000029103 2025-07-15 00:00:00 2021-10-18 BB