Record ID | marc_loc_2016/BooksAll.2016.part33.utf8:78921508:1285 |
Source | Library of Congress |
Download Link | /show-records/marc_loc_2016/BooksAll.2016.part33.utf8:78921508:1285?format=raw |
LEADER: 01285cam a22003257a 4500
001 2005920137
003 DLC
005 20080311092129.0
008 050105s2005 gw a b 001 0 eng d
010 $a 2005920137
016 7 $a972366121$2GyFmDB
020 $a3540233423 (hd.bd.)
035 $a(OCoLC)ocm58421666
040 $aOHX$cOHX$dTEF$dDLC
042 $alccopycat
050 00 $aQA76.76.D47$bK87 2005
072 7 $aQA$2lcco
082 00 $a005.1$222
100 1 $aKurki-Suonio, Reino.
245 12 $aA practical theory of reactive systems :$bincremental modeling of dynamic behaviors /$cR. Kurki-Suonio.
260 $aBerlin ;$aNew York :$bSpringer,$c2005.
300 $axxi, 418 p. :$bill. ;$c25 cm.
490 1 $aTexts in theoretical computer science : an EATCS series
504 $aIncludes bibliographical references and index.
650 0 $aComputer software$xDevelopment.
650 0 $aSystem design.
830 0 $aTexts in theoretical computer science.
856 42 $3Publisher description$uhttp://www.loc.gov/catdir/enhancements/fy0663/2005920137-d.html
856 42 $3Contributor biographical information$uhttp://www.loc.gov/catdir/enhancements/fy0818/2005920137-b.html
856 41 $3Table of contents only$uhttp://www.loc.gov/catdir/enhancements/fy0818/2005920137-t.html