000 01360nam a22003975i 4500
001 978-0-387-87658-0
003 DE-He213
005 20130515020627.0
007 cr nn 008mamaa
008 100301s2009 xxu| s |||| 0|eng d
020 _a9780387876580
_9978-0-387-87658-0
024 7 _a10.1007/978-0-387-87658-0
_2doi
100 1 _aZhang, Liang-Jie.
245 1 0 _aHigh Assurance Services Computing
_h[electronic resource] /
_cedited by Liang-Jie Zhang, Raymond Paul, Jing Dong.
260 _aBoston, MA :
_bSpringer US,
_c2009.
300 _bdigital.
650 0 _aComputer science.
650 0 _aOperating systems (Computers).
650 0 _aSoftware engineering.
650 0 _aData protection.
650 1 4 _aComputer Science.
650 2 4 _aSystems and Data Security.
650 2 4 _aProgramming Languages, Compilers, Interpreters.
650 2 4 _aProgramming Techniques.
650 2 4 _aProcessor Architectures.
650 2 4 _aPerformance and Reliability.
650 2 4 _aSoftware Engineering/Programming and Operating Systems.
700 1 _aPaul, Raymond.
700 1 _aDong, Jing.
710 2 _aSpringerLink (Online service)
773 0 _tSpringer eBooks
776 0 8 _iPrinted edition:
_z9780387876573
856 4 0 _uhttp://dx.doi.org/10.1007/978-0-387-87658-0
912 _aZDB-2-SCS
999 _c68484
_d68484