00880nam a2200277 a 4500 vtls000067120 KUKTEM 20251125093403.0 121128t2001 enka f 001 0 eng d 9780333763278 (pbk.) 0333763270 (pbk) 201312051239 saini 201211281500 farina UMP QA76.73.Z2 L54 2001 Lightfoot, David, 1951- Formal specification using Z / David Lightfoot 2nd ed. Basingstoke : Palgrave Macmillan, 2001 192 p. : ill. ; 25 cm. Previous ed.: 1991 Includes index Z (Computer program language) Computer software Development 0 0 0 0 20000 20000 2019-09-04 180.97 2 4 QA76.73.Z2 L54 2001 0000078587 2025-02-05 00:00:00 2024-12-24 1 180.97 2019-09-04 OPEN VIRTUA40 64250 64256 VTLSSORT0080*0200*0201*0400*0900*1000*2450*2500*2600*3000*5000*5001*6500*6501*9992 1