| Record ID | marc_columbia/Columbia-extract-20221130-012.mrc:31464097:1840 |
| Source | marc_columbia |
| Download Link | /show-records/marc_columbia/Columbia-extract-20221130-012.mrc:31464097:1840?format=raw |
LEADER: 01840cam a2200361 a 4500
001 5537627
005 20221121181914.0
008 060113t20052005gw a b 101 0 eng d
020 $a3540309462
024 3 $a9783540309468
035 $a(OCoLC)ocm62513772
035 $a(NNC)5537627
035 $a5537627
040 $aHNK$cHNK$dNNC
090 $aQA76.9.C65$bI5764 2005
111 2 $aFORMATS (Conference)$n(3rd :$d2005 :$cUppsala, Sweden)$0http://id.loc.gov/authorities/names/no2005116455
245 10 $aFormal modeling and analysis of timed systems :$bthird international conference, FORMATS 2005, Uppsala, Sweden, September 26-28, 2005 : proceedings /$cPaul Pettersson, Wang Yi (eds.).
246 30 $aFORMATS 2005
260 $aBerlin ;$aNew York :$bSpringer-Verlag,$c[2005], ©2005.
300 $aix, 303 pages :$billustrations ;$c24 cm.
336 $atext$btxt$2rdacontent
337 $aunmediated$bn$2rdamedia
490 1 $aLecture notes in computer science ;$v3829
504 $aIncludes bibliographical references and index.
500 $a"... the proceedings of FORMATS 2005, the Third International Conference on Formal Modeling and Analysis of Timed Systems"--Pref.
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
650 0 $aMachine theory$vCongresses.$0http://id.loc.gov/authorities/subjects/sh2008107145
700 1 $aPettersson, Paul.$0http://id.loc.gov/authorities/names/no2005116453
700 1 $aYi, Wang.$0http://id.loc.gov/authorities/names/n2001005267
830 0 $aLecture notes in computer science ;$v3829.$0http://id.loc.gov/authorities/names/n42015162
852 00 $boff,eng$hQA76.9.C65$iF67 2005g