01324nam a2200313 a 4500 vtls000038150 KUKTEM 20251117150057.0 090618s2008 enk f b 001 0 eng d 9780521054140 (pbk.) 0521054141 (pbk.) 0521334292 (hbk.) 9780521334297 (hbk.) 201107132303 VLOAD 200912291455 fauzi 200908141633 VLOAD 200908141607 VLOAD 200906181055 nadia UMP QA76.73.Z2 S65 2008 Spivey, J. M. Understanding Z : a specification language and its formal semantics / J.M. Spivey Cambridge [Cambridgeshire] ; New York : Cambridge University Press, 2008 viii, 131 p. ; 26 cm. Cambridge tracts in theoretical computer science ; 3 Includes bibliographical references (p. [119]-122) and index Z (Computer program language) Programming languages (Electronic computers) Semantics Cambridge tracts in theoretical computer science ; 3 Table of contents http://www.loc.gov/catdir/toc/cam029/87033841.html 0 0 0 0 20000 20000 2019-09-04 106.16 1 2 QA76.73.Z2 S65 2008 0000042515 2024-12-02 00:00:00 2024-10-15 1 106.16 2019-09-04 OPEN VIRTUA40 50912 50918 VTLSSORT0080*0200*0201*0202*0203*0400*0900*1000*2450*2600*3000*4900*5040*6500*6501*8300*8560*9991 1