| Record ID | marc_loc_2016/BooksAll.2016.part20.utf8:37121124:843 |
| Source | Library of Congress |
| Download Link | /show-records/marc_loc_2016/BooksAll.2016.part20.utf8:37121124:843?format=raw |
LEADER: 00843pam a2200253 a 4500
001 90007763
003 DLC
005 19960508111911.8
008 900709s1991 nyua b 00110 eng
010 $a 90007763
020 $a0134787021 (paperback) :$c$32.50
040 $aDLC$cDLC$dDLC
050 00 $aQA76.76.D47$bP68 1990
082 00 $a005.13/3$220
100 10 $aPotter, Ben.
245 13 $aAn introduction to formal specification and Z /$cBen Potter, Jane Sinclair, David Till.
260 0 $aNew York :$bPrentice Hall,$c1991.
300 $axiii, 304 p. :$bill. ;$c24 cm.
440 0 $aPrentice-Hall international series in computer science
504 $aIncludes bibliographical references and index.
650 0 $aComputer software$xDevelopment.
650 0 $aZ (Computer program language)
700 10 $aSinclair, Jane.
700 10 $aTill, David.