LEADER 01653nam2-2200421---450- 001 990003143980203316 005 20080929091914.0 010 $a978-3-540-68892-1 035 $a000314398 035 $aUSA01000314398 035 $a(ALEPH)000314398USA01 035 $a000314398 100 $a20080915d2008----km-y0itay50------ba 101 $aeng 102 $aDE 105 $ay---||||001yy 200 1 $aFormal methods for computational systems biology$e8th international school on formal methods for the design of computer, communication, and software systems, SFM 2008$eBertinoro, Italy, June 2-7, 2008$eadvanced lectures 210 $aBerlin [etc.]$cSpringer$dcopyr. 2008 215 $aX, 523 p.$d24 cm 225 2 $aLecture notes in computer science$iTutorial$v5016 410 0$12001$aLecture notes in computer science 461 1$1001000314960$12001$aLecture notes in computer science 606 0 $aSimulazione $xCongressi$yBertinoro$z2008 606 0 $aSistemi biologici$xCongressi$yBertinoro$z2008 676 $a003.3 702 1$aBERNARDO,$bMarco 702 1$aDEGANO,$bPierpaolo 702 1$aZAVATTARO,$bGianluigi 710 12$aInternational School on formal methods for the design of computer, communication, and software systems, SFM 2008$d<8.;$f2008;$eBertinoro>$0602083 801 0$aIT$bsalbc$gISBD 912 $a990003143980203316 951 $a001 LNCS 5016$b37093/CBS$c001$d00217458 959 $aBK 969 $aSCI 979 $aCBAS$b10$c20080915$lUSA01$h0947 979 $aCBAS$b10$c20080929$lUSA01$h0919 996 $aFormal methods for computational systems biology$91016310 997 $aUNISA