MARC Record from marc_nuls

LEADER: 02352cam 2200541Ia 4500
001 9921088950001661
005 20150423133112.0
008 070914s2007 gw a b 111 0 eng d
010 $a 2007935177
016 7 $a98545525X$2GyFmDB
020 $a9783540752202 (pbk.)
020 $a354075220X (pbk.)
029 0 $aOHX$bhar070121058
035 $a(CSdNU)u318878-01national_inst
035 $a(OCoLC)173071271
035 $a(OCoLC)173071271
035 $a(OCoLC)173071271
040 $aOHX$cOHX$dCUS$dBTCTA$dBUF$dBAKER$dYDXCP$dC$Q
049 $aCNUM
072 7 $aQA$2lcco
090 $aQA76.9.F67$bF524 2007
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.
440 0 $aLNCS sublibrary.$nSL1.$pTheoretical computer science and general issues
490 1 $aLecture notes in computer science,$x0302-9743 ;$v4700.$aFestschrift
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 $aChaochen, Zhou.
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.
938 $aOtto Harrassowitz$bHARR$nhar070121058$c95.45 USD
938 $aBaker and Taylor$bBTCP$nBK0007459326
938 $aBaker & Taylor$bBKTY$c89.95$d89.95$i354075220X$n0007459326$sactive
938 $aYBP Library Services$bYANK$n2735345
947 $fSOET-TEC$hCIRCSTACKS$p$85.45$q1
949 $aQA 76.9.F67 F524 2007$i31786102230684
994 $a92$bCNU
999 $aQA 76.9 .F67 F524 2007$wLC$c1$i31786102230684$lCIRCSTACKS$mNULS$rY$sY $tBOOK$u1/22/2008