LEADER 03115nam  2200625 a 450 
001 9910483251403321
005 20200520144314.0
010   $a3-540-68894-3
024 7 $a10.1007/978-3-540-68894-5
035   $a(CKB)1000000000440610
035   $a(SSID)ssj0000317714
035   $a(PQKBManifestationID)11245535
035   $a(PQKBTitleCode)TC0000317714
035   $a(PQKBWorkID)10294610
035   $a(PQKB)10486603
035   $a(DE-He213)978-3-540-68894-5
035   $a(MiAaPQ)EBC3068574
035   $a(PPN)127048294
035   $a(EXLCZ)991000000000440610
100   $a20080422d2008      uy         0
101 0 $aeng
135   $aurnn#008mamaa
181   $ctxt
182   $cc
183   $acr
200 10$aFormal methods for computational systems biology $e8th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2008, Bertinoro, Italy, June 2-7, 2008 : advanced lectures /$fMarco Bernardo, Pierpaolo Degano, Gianluigi Zavattaro (eds.)
205   $a1st ed. 2008.
210   $aBerlin ;$aNew York $cSpringer$d2008
215   $a1 online resource (X, 527 p.)
225 1 $aLecture notes in computer science,$x0302-9743 ;$v5016
225 1 $aLNCS sublibrary. SL 2, Programming and software engineering
300   $aLectures.
311   $a3-540-68892-7 
320   $aIncludes bibliographical references and index.
327   $aRegular Lectures -- Sensitivity Analysis of Stochastic Models of Bistable Biochemical Reactions -- Pathway Logic -- Formal Cell Biology in Biocham -- Hierarchical Modeling for Computational Biology -- Simulation Methods in Systems Biology -- Membrane Computing as a Modeling Framework. Cellular Systems Case Studies -- Petri Nets for Systems and Synthetic Biology -- Process Algebras in Systems Biology -- The BlenX Language: A Tutorial -- BISCA Talks -- Cells in Silico: A Holistic Approach -- The Calculus of Looping Sequences -- Hybrid Systems and Biology -- ?@: A ?-Based Process Calculus for the Implementation of Compartmentalised Bio-inspired Calculi -- A Gentle Introduction to Stochastic (Poly)Automata Collectives and the (Bio)Chemical Ground Form.
410  0$aLecture notes in computer science.$pTutorial.
410  0$aLecture notes in computer science ;$v5016.
410  0$aLNCS sublibrary.$nSL 2,$pProgramming and software engineering.
517 3 $aSFM 2008
606   $aFormal methods (Computer science)$vCongresses
606   $aIntegrated circuits$xVerification$vCongresses
615  0$aFormal methods (Computer science)
615  0$aIntegrated circuits$xVerification
676   $a005.1
701   $aBernardo$b Marco$01754236
701   $aDegano$b Pierpaolo$f1950-$01750376
701   $aZavattaro$b Gianluigi$01754873
712 12$aInternational School on Formal Methods for the Design of Computer, Communication, and Software Systems
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
906   $aBOOK
912   $a9910483251403321
996   $aFormal methods for computational systems biology$94193279
997   $aUNINA