LEADER 03354nam  22008175  450 
001 996465393803316
005 20230418085843.0
010   $a3-642-30065-0
024 7 $a10.1007/978-3-642-30065-3
035   $a(CKB)3400000000085278
035   $a(SSID)ssj0000697643
035   $a(PQKBManifestationID)11394174
035   $a(PQKBTitleCode)TC0000697643
035   $a(PQKBWorkID)10692260
035   $a(PQKB)11031478
035   $a(DE-He213)978-3-642-30065-3
035   $a(MiAaPQ)EBC3070210
035   $a(PPN)168315858
035   $a(EXLCZ)993400000000085278
100   $a20120626d2012      u|         0
101 0 $aeng
135   $aurnn#008mamaa
181   $ctxt
182   $cc
183   $acr
200 10$aTrustworthy Global Computing$b[electronic resource] $e6th International Symposium, TGC 2011, Aachen, Germany, June 9-10, 2011. Revised Selected Papers /$fedited by Roberto Bruni, Vladimiro Sassone
205   $a1st ed. 2012.
210  1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2012.
215   $a1 online resource (X, 243 p. 54 illus.)
225 1 $aTheoretical Computer Science and General Issues,$x2512-2029 ;$v7173
300   $aBibliographic Level Mode of Issuance: Monograph
311   $a3-642-30064-2 
320   $aIncludes bibliographical references and author index.
330   $aThis book constitutes the refereed proceedings of the 6th International Symposium on Trustworthy Global Computing, TGC 2011, held in Aachen, Germany, in June 2011. The 14 revised full papers presented were carefully reviewed and selected from 25 submissions. The papers are organized in topical sections on modeling formalisms for concurrent systems; model checking and quantitative extensions thereof; semantics and analysis of modern programming languages; probabilistic models for concurrency; and testing and run-time verification.
410  0$aTheoretical Computer Science and General Issues,$x2512-2029 ;$v7173
606   $aCryptography
606   $aData encryption (Computer science)
606   $aComputer networks
606   $aElectronic data processing?Management
606   $aAlgorithms
606   $aSoftware engineering
606   $aCoding theory
606   $aInformation theory
606   $aCryptology
606   $aComputer Communication Networks
606   $aIT Operations
606   $aAlgorithms
606   $aSoftware Engineering
606   $aCoding and Information Theory
615  0$aCryptography.
615  0$aData encryption (Computer science).
615  0$aComputer networks.
615  0$aElectronic data processing?Management.
615  0$aAlgorithms.
615  0$aSoftware engineering.
615  0$aCoding theory.
615  0$aInformation theory.
615 14$aCryptology.
615 24$aComputer Communication Networks.
615 24$aIT Operations.
615 24$aAlgorithms.
615 24$aSoftware Engineering.
615 24$aCoding and Information Theory.
676   $a005.82
702   $aBruni$b Roberto$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aSassone$b Vladimiro$4edt$4http://id.loc.gov/vocabulary/relators/edt
712 12$aTGC 2011
906   $aBOOK
912   $a996465393803316
996   $aTrustworthy Global Computing$9771960
997   $aUNISA