| Record ID | marc_columbia/Columbia-extract-20221130-014.mrc:112472433:1813 |
| Source | marc_columbia |
| Download Link | /show-records/marc_columbia/Columbia-extract-20221130-014.mrc:112472433:1813?format=raw |
LEADER: 01813cam a2200409Ia 4500
001 6898344
005 20221122060539.0
008 080912s2008 gw a a 101 0 eng d
016 7 $a990120465$2GyFmDB
020 $a9783540857778 (pbk.)
020 $a354085777X (pbk.)
029 0 $aOHX$bhar080135081
029 1 $aNLGGC$b314445994
035 $a(OCoLC)ocn251303604
035 $a(OCoLC)251303604
035 $a(NNC)6898344
035 $a6898344
040 $aOHX$cOHX$dNLGGC$dCUY$dYDXCP$dNNC
072 7 $aQA$2lcco
084 $a54.10$2bcl
090 $aQA76.9.C65$bF67 2008
111 2 $aFORMATS (Conference)$n(6th :$d2008 :$cSaint-Malo, France)$0http://id.loc.gov/authorities/names/nb2008019575
245 10 $aFormal modeling and analysis of timed systems :$b6th international conference, FORMATS 2008, Saint Malo, France, September 15-17, 2008 ; proceedings /$cFranck Cassez, Claude Jard (eds.).
246 30 $aFORMATS 2008
260 $aBerlin :$bSpringer,$c2008.
300 $axi, 294 pages :$billustrations ;$c24 cm.
336 $atext$btxt$2rdacontent
337 $aunmediated$bn$2rdamedia
490 1 $aLecture notes in computer science,$x0302-9743 ;$v5215
504 $aIncludes bibliographical references and index.
650 0 $aComputer simulation$vCongresses.$0http://id.loc.gov/authorities/subjects/sh2008101504
650 0 $aTemporal automata$vCongresses.
650 0 $aFormal methods (Computer science)$vCongresses.$0http://id.loc.gov/authorities/subjects/sh2008104061
700 1 $aCassez, Franck,$d1967-$0http://id.loc.gov/authorities/names/n2001016183
700 1 $aJard, Claude.$0http://id.loc.gov/authorities/names/nb2008019571
830 0 $aLecture notes in computer science ;$v5215.$0http://id.loc.gov/authorities/names/n42015162
852 00 $boff,eng$hQA76.9.C65$iF67 2008g