| Record ID | marc_loc_2016/BooksAll.2016.part22.utf8:174083803:848 |
| Source | Library of Congress |
| Download Link | /show-records/marc_loc_2016/BooksAll.2016.part22.utf8:174083803:848?format=raw |
LEADER: 00848pam a2200229 a 4500
001 93031699
003 DLC
005 19940509145736.6
008 930805s1994 enka b 001 0 eng
010 $a 93031699
020 $a0077077350 :$c£19.95
040 $aDLC$cDLC$dDLC
050 00 $aQA76.758$b.T86 1994
082 00 $a005.1/2$220
100 1 $aTurner, J. G.$q(John G.),$d1946-
245 14 $aThe construction of formal specifications :$ban introduction to the model-based and algebraic approaches /$cJ.G. Turner, T.L. McCluskey.
260 $aLondon ;$aNew York :$bMcGraw-Hill,$cc1994.
300 $axii, 420 p. :$bill. ;$c25 cm.
440 4 $aThe McGraw-Hill international series in software engineering
504 $aIncludes bibliographical references and indexes.
650 0 $aSoftware engineering.
700 10 $aMcCluskey, T. L.$q(T. Lee),$d1957-