| Record ID | marc_loc_2016/BooksAll.2016.part35.utf8:87393986:1980 |
| Source | Library of Congress |
| Download Link | /show-records/marc_loc_2016/BooksAll.2016.part35.utf8:87393986:1980?format=raw |
LEADER: 01980cam a22004337a 4500
001 2007935177
003 DLC
005 20080829084456.0
008 070814s2007 gw a b 111 0 eng d
010 $a 2007935177
016 7 $a98545525X$2GyFmDB
020 $a354075220X (pbk.)
020 $a9783540752202 (pbk.)
035 $a(OCoLC)ocn173071271
040 $aOHX$cOHX$dCUS$dBTCTA$dBUF$dBAKER$dYDXCP$dC$Q$dDLC
042 $alccopycat
050 00 $aQA76.9.F67$bF525 2007
082 00 $a004/.33$222
245 00 $aFormal methods and hybrid real-time systems :$bessays in honour of Dines Bjøerner and Zhou Chaochen on the occasion of their 70th birthdays /$cCliff B. Jones, Zhiming Liu, Jim Woodcock (eds.).
260 $aBerlin ;$aNew York :$bSpringer,$cc2007.
300 $axvi, 538 p. :$bill. ;$c24 cm.
490 1 $aLecture notes in computer science,$x0302-9743 ;$v4700.$aFestschrift
440 0 $aLNCS sublibrary.$nSL 1,$pTheoretical computer science and general issues
500 $aPapers presented at a symposium held in Macao, China, Sept. 24-25, 2007 during the course of the International Colloquium on Theoretical Aspects of Computing.
504 $aIncludes bibliographical references and index.
530 $aAlso issued online
600 10 $aBjørner, D.$q(Dines),$d1937-
600 10 $aChaochen, Zhou.
650 0 $aFormal methods (Computer science)$vCongresses.
650 0 $aReal-time data processing$vCongresses.
700 1 $aBjørner, D.$q(Dines),$d1937-
700 1 $aZhou, Chaochen,$d1937-
700 1 $aJones, C. B.$q(Cliff B.),$d1944-
700 1 $aLiu, Zhiming,$d1961-
700 1 $aWoodcock, Jim.
830 0 $aLecture notes in computer science ;$v4700.
830 0 $aLecture notes in computer science.$pFestschrift.
856 41 $uhttp://www.springerlink.com/openurl.asp?genre=issue&issn=0302-9743&volume=4700$zRestricted to SpringerLink subscribers
856 41 $3Table of contents$uhttp://www.loc.gov/catdir/toc/fy0803/2007935177.html