Record ID | ia:isbn_9780471958352 |
Source | Internet Archive |
Download MARC XML | https://archive.org/download/isbn_9780471958352/isbn_9780471958352_marc.xml |
Download MARC binary | https://www.archive.org/download/isbn_9780471958352/isbn_9780471958352_meta.mrc |
LEADER: 00798pam a2200241 a 4500
001 96005720
003 DLC
005 19991026164640.0
008 960311s1996 enka b 001 0 eng
010 $a 96005720
020 $a0471958352 (acid-free paper)
040 $aDLC$cDLC$dDLC
050 00 $aQA76.54$b.F64 1996
082 00 $a005.2$220
245 00 $aFormal methods for real-time computing /$cedited by Constance Heitmeyer and Dino Mandrioli.
260 $aChichester ;$aNew York :$bJohn Wiley,$cc1996.
300 $axvii, 271 p. :$bill. ;$c24 cm.
440 0 $aTrends in software ;$v5
504 $aIncludes bibliographical references and index.
650 0 $aReal-time data processing.
650 0 $aFormal methods (Computer science)
700 1 $aHeitmeyer, Constance.
700 1 $aMandrioli, Dino.