| Record ID | marc_loc_2016/BooksAll.2016.part25.utf8:74767779:757 |
| Source | Library of Congress |
| Download Link | /show-records/marc_loc_2016/BooksAll.2016.part25.utf8:74767779:757?format=raw |
LEADER: 00757cam a22002414a 4500
001 96004347
003 DLC
005 20010711150325.0
008 960104s1996 enka 001 0 eng
010 $a 96004347
020 $a0139484728 (pbk. : alk. paper)
040 $aDLC$cDLC$dDLC
042 $apcc
050 00 $aQA76.73.Z2$bW66 1996
082 00 $a005.1/2$220
100 1 $aWoodcock, Jim.
245 10 $aUsing Z :$bspecification, refinement, and proof /$cJim Woodcock and Jim Davies.
260 $aLondon ;$aNew York :$bPrentice Hall,$c1996.
300 $aix, 386 p. :$bill. ;$c24 cm.
440 0 $aPrentice-Hall international series in computer science
500 $aIncludes index.
650 0 $aZ (Computer program language)
700 1 $aDavies, Jim,$d1964-