01586 am a2200325ua 4500 010680023 20091217015300.0 010131s2001 enk || 001 ||eng 0333763270 (pbk.) : £17.99 StDuBDS Uk 005.133 21 LIG Lightfoot, David, 1951- 29207 Formal Specification Using Z / David Lightfoot. 2nd ed. Basingstoke : Palgrave, 2001. xii,164p. ; 25cm. Grassroots series 29208 Previous ed.: Basingstoke : Macmillan, 1991. Includes index. Z (Computer program language) 29209 Computer software Development. 29210 Formal methods (Computer science) 29211 CS March2012 ddc BB 16542 16542 0 0 ddc 0 0 Baccah MAIN MAIN LOW 2012-03-05 purchase 0 005.133 LIG 000026308 2025-07-15 00:00:00 NB 0 0 ddc 0 0 Baccah MAIN MAIN LOW 2012-03-05 purchase 0 005.133 LIG 000026309 2025-07-15 00:00:00 BB 0 0 ddc 0 0 Baccah MAIN MAIN LOW 2012-03-05 purchase 0 005.133 LIG 000026310 2025-07-15 00:00:00 BB 0 0 ddc 0 0 Baccah MAIN MAIN LOW 2012-03-05 purchase 0 005.133 LIG 000026312 2025-07-15 00:00:00 BB 0 0 ddc 0 0 Baccah MAIN MAIN LOW 2012-03-05 purchase 0 005.133 LIG 000026311 2025-07-15 00:00:00 BB