000 02045nam a22005175a 4500
005 20250918004308.0
006 m d
007 cr nn 008maaau
008 090218s2005 gw j eng d
020 _a9783540314837 (electronic bk.)
020 _a9783540300076 (paper)
035 _a(Springer)978-3-540-30007-6
039 9 _y02-18-2009
_zmuhaimin
050 0 0 _aQA76.9.A25
_bT46 2005
082 0 0 _a005.8
_222
090 _aQA76.9.A25
_bT356 2005
111 2 _aTGC 2005
_d(2005 :
_cEdinburgh, Scotland)
245 1 0 _aTrustworthy Global Computing :
_bInternational Symposium, TGC 2005, Edinburgh, UK, April 7-9, 2005. Revised Selected Papers
_h[electronic resource] /
_cedited by Rocco De Nicola, Davide Sangiorgi.
246 3 _aTGC 2005
260 _aBerlin Heidelberg :
_bSpringer-Verlag GmbH.,
_c2005.
300 _aviii, 369 p. :
_bill., digital ;
_c24 cm.
440 0 _aLecture Notes in Computer Science,
_x0302-9743 ;
_v3705
650 0 _aComputer security
_vcongresses.
650 0 _aComputer networks
_xSecurity measures
_vCongresses.
650 0 _aComputer science
650 0 _aComputer software
_xValidation
_vCongresses.
650 0 _aComputer software
_xVerification
_vCongresses.
650 1 4 _aComputer Science.
650 2 4 _aComputer Communication Networks.
650 2 4 _aLogics and Meanings of Programs.
650 2 4 _aOperating Systems.
650 2 4 _aProgramming Languages, Compilers, Interpreters.
650 2 4 _aProgramming Techniques.
650 2 4 _aSoftware Engineering.
700 1 _aDe Nicola, Rocco.
700 1 _aSangiorgi, Davide.
710 2 _aSpringerLink (Online service)
773 0 _tSpringer e-books
856 4 0 _uhttps://eresourcesptsl.ukm.remotexs.co/user/login?url=http://dx.doi.org/10.1007/11580850
907 _a.b14419919
_b2024-01-31
_c2019-11-12
942 _n0
_kQA76.9.A25 T356 2005
914 _avtls003401141
998 _ae0001
_b2009-05-02
_cm
_da
_feng
_ggw
_y0
_z.b14419919
999 _c434577
_d434577