| Record ID | marc_loc_2016/BooksAll.2016.part24.utf8:98301582:924 |
| Source | Library of Congress |
| Download Link | /show-records/marc_loc_2016/BooksAll.2016.part24.utf8:98301582:924?format=raw |
LEADER: 00924pam a2200253 a 4500
001 95011111
003 DLC
005 19991026164232.0
008 950427s1995 enka b 001 0 eng
010 $a 95011111
020 $a0133669491 (alk. paper)
040 $aDLC$cDLC$dDLC
050 00 $aQA76.9.S88$bA68 1995
082 00 $a620/.0042/015113$220
245 00 $aApplications of formal methods /$cedited by Michael G. Hinchey and Jonathan P. Bowen.
260 $aLondon ;$aNew York :$bPrentice Hall,$c1995.
300 $axvii, 447 p. :$bill. ;$c25 cm.
440 0 $aPrentice-Hall international series in computer science
504 $aIncludes bibliographical references (p. 421-437) and index.
650 0 $aSystem design.
650 0 $aComputer software$xDevelopment.
650 0 $aFormal methods (Computer science)
700 1 $aHinchey, Michael G.$q(Michael Gerard),$d1969-
700 1 $aBowen, J. P.$q(Jonathan Peter),$d1956-