| Record ID | marc_loc_2016/BooksAll.2016.part27.utf8:19209725:1201 |
| Source | Library of Congress |
| Download Link | /show-records/marc_loc_2016/BooksAll.2016.part27.utf8:19209725:1201?format=raw |
LEADER: 01201cam a2200289 a 4500
001 98024731
003 DLC
005 20020831203550.0
008 980512s1998 enka b 001 0 eng
010 $a 98024731
020 $a0521641705 (hardback)
040 $aDLC$cDLC$dDLC
050 00 $aQA76.9.C65$bR64 1998
082 00 $a003.3$221
100 1 $aRoever, W.-P. de,$d1943-
245 10 $aData refinement :$bmodel-oriented proof methods and their comparison /$cWillem-Paul de Roever, Kai Engelhardt ; with the assistance of Karl-Heinz Buth ... [et al.].
260 $aCambridge, UK ;$aNew York, NY :$bCambridge University Press,$c1998.
300 $axi, 423 p. :$bill. ;$c24 cm.
440 0 $aCambridge tracts in theoretical computer science ;$v47
504 $aIncludes bibliographical references (p. 404-418) and index.
650 0 $aComputer simulation.
650 0 $aData structures (Computer science)
650 0 $aComputer programs$xVerification.
700 1 $aEngelhardt, Kai,$d1966-
700 1 $aButh, Karl-Heinz
856 42 $3Publisher description$uhttp://www.loc.gov/catdir/description/cam029/98024731.html
856 41 $3Table of contents$uhttp://www.loc.gov/catdir/toc/cam027/98024731.html