| Record ID | harvard_bibliographic_metadata/ab.bib.11.20150123.full.mrc:489908439:1394 |
| Source | harvard_bibliographic_metadata |
| Download Link | /show-records/harvard_bibliographic_metadata/ab.bib.11.20150123.full.mrc:489908439:1394?format=raw |
LEADER: 01394cam a2200373Ia 4500
001 011537669-0
005 20090713113620.0
008 080503s2008 gw a b 011 0 eng d
020 $a9783540686767
020 $a3540686762
035 0 $aocn227032527
040 $aBTCTA$cBTCTA$dOHX$dYDXCP$dWTU
090 $aQA267.3$b.C66 2008
245 00 $aConcurrency, graphs and models :$bessays dedicated to Ugo Montanari on the occasion of his 65th birthday /$cPierpaolo Degano, Rocco De Nicola, José Meseguer (eds.).
260 $aBerlin ;$aNew York :$bSpringer,$cc2008.
300 $axv, 808 p. :$bill. ;$c24 cm.
440 0 $aLecture notes in computer science,$x0302-9743 ;$v5065
440 0 $aLNCS sublibrary.$nSL 1,$pTheoretical computer science and general issues
500 $a"Festschrift"--Cover.
504 $aIncludes bibliographical references and index.
650 0 $aGraph grammars.
650 0 $aRewriting systems (Computer science)
650 0 $aSoftware engineering.
650 0 $aMultitasking (Computer science)
650 0 $aComputer simulation.
650 0 $aComputer software$xVerification.
650 0 $aComputer programming.
700 1 $aMontanari, U.$q(Ugo)
700 1 $aDegano, Pierpaolo,$d1950-
700 1 $aDe Nicola, Rocco.
700 1 $aMeseguer, José.
830 0 $aLecture notes in computer science.$pFestschrift.
988 $a20080813
906 $0OCLC