| Record ID | marc_loc_updates/v36.i31.records.utf8:11352917:1477 |
| Source | Library of Congress |
| Download Link | /show-records/marc_loc_updates/v36.i31.records.utf8:11352917:1477?format=raw |
LEADER: 01477cam a22003617a 4500
001 2007282029
003 DLC
005 20080803082648.0
008 071126s2007 enka b 001 0 eng
010 $a 2007282029
015 $aGBA728518$2bnb
016 7 $a013715613$2Uk
020 $a9780521875462 (hbk.)
020 $a0521875463 (hbk.)
035 $a(OCoLC)ocn123374684
040 $aUKM$cUKM$dBTCTA$dBAKER$dBWKUK$dYDXCP$dDLC
042 $aukblcatcopy$alccopycat
082 04 $a006.330151$222
050 00 $aQA76.76.E95$bR39 2007
245 00 $aReactive systems :$bmodelling, specification and verification /$cLuca Aceto ... [et al.].
260 $aCambridge ;$aNew York :$bCambridge University Press,$c2007.
300 $axvi, 284 p. :$bill. ;$c26 cm.
504 $aIncludes bibliographical references (p. 267-279) and index.
650 0 $aExpert systems (Computer science)$xValidation.
650 0 $aExpert systems (Computer science)$xVerification.
650 0 $aSystem design$xMathematical models.
700 1 $aAceto, Luca.
700 1 $aAnna Ingólfsdóttir,$d1952-
700 1 $aLarsen, K. G.$q(Kim G.),$d1957-
700 1 $aSrba, Jiřiʹ.
856 42 $3Contributor biographical information$uhttp://www.loc.gov/catdir/enhancements/fy0805/2007282029-b.html
856 42 $3Publisher description$uhttp://www.loc.gov/catdir/enhancements/fy0805/2007282029-d.html
856 41 $3Table of contents only$uhttp://www.loc.gov/catdir/enhancements/fy0805/2007282029-t.html