| Record ID | marc_loc_2016/BooksAll.2016.part35.utf8:87764599:1162 |
| Source | Library of Congress |
| Download Link | /show-records/marc_loc_2016/BooksAll.2016.part35.utf8:87764599:1162?format=raw |
LEADER: 01162cam a22002894a 4500
001 2007935932
003 DLC
005 20080126091750.0
008 070823s2007 gw a b 101 0 eng
010 $a 2007935932
020 $a9783540754534 (soft cover : alk. paper)
020 $a3540754539 (soft cover : alk. paper)
040 $aDLC$cDLC$dDLC
050 00 $aQA76.9.C65$bF676 2007
082 00 $a005.3$222
111 2 $aFORMATS 2007$d(2007 :$cSalzburg, Austria)
245 10 $aFormal modeling and analysis of timed systems :$b5th international conference, FORMATS 2007, Salzburg, Austria, October 3-5, 2007 : proceedings /$cJean-Francois Raskin, P.S. Thiagarajan (eds.).
260 $aBerlin ;$aNew York :$bSpringer,$cc2007.
300 $ax, 368 p. :$bill. ;$c24 cm.
490 0 $aLecture notes in computer science,$x0302-9743 ;$v4763
504 $aIncludes bibliographical references and index.
650 0 $aComputer simulation$vCongresses.
650 0 $aTemporal automata$vCongresses.
650 0 $aFormal methods (Computer science)$vCongresses.
650 0 $aAutomata$vCongresses.
700 1 $aRaskin, Jean-François,$d1972-
700 1 $aThiagarajan, P. S.