Record ID | marc_columbia/Columbia-extract-20221130-006.mrc:403847770:1356 |
Source | marc_columbia |
Download Link | /show-records/marc_columbia/Columbia-extract-20221130-006.mrc:403847770:1356?format=raw |
LEADER: 01356mam a22003254a 4500
001 2861085
005 20221013025542.0
008 001017t20012001maua b 001 0 eng
010 $a 00051457
015 $aGBA1-08327
020 $a079237262X (alk. paper)
035 $a(OCoLC)ocm45209115
035 $9ARZ4498CU
035 $a2861085
040 $aDLC$cDLC$dC#P$dUKM
042 $apcc
050 00 $aTK7895.E42$bH75 2001
082 00 $a004.16$221
100 1 $aHsieh, Harry,$d1967-$0http://id.loc.gov/authorities/names/n00008765
245 10 $aSynchronous equivalence :$bformal methods for embedded systems /$cHarry Hsieh, Felice Balarin, Alberto Sangiovanni-Vincentelli.
260 $aBoston :$bKluwer Academic Publishers,$c[2001], ©2001.
300 $ax, 136 pages :$billustrations ;$c25 cm
336 $atext$btxt$2rdacontent
337 $aunmediated$bn$2rdamedia
504 $aIncludes bibliographical references (p. [133]-136) and index.
650 0 $aEmbedded computer systems.$0http://id.loc.gov/authorities/subjects/sh87006632
650 0 $aFormal methods (Computer science)$0http://id.loc.gov/authorities/subjects/sh99003622
700 1 $aBalarin, Felice.$0http://id.loc.gov/authorities/names/n97035495
700 1 $aSangiovanni-Vincentelli, Alberto.$0http://id.loc.gov/authorities/names/n86102701
852 00 $boff,eng$hTK7895.E42$iH75 2001