000 00604nam a2200145Ia 4500
008 191030s9999 xx 000 0 und d
020 _a9783319105574
100 _aAndrea Bondavalli, Andrea Ceccarelli, Frank Ortmeier
245 0 _aComputer Safety, Reliability, and Security
260 _bSpringer
_c2014
440 _aLecture Notes in Computer Science
653 _aLogics and Meanings of Programs; Computer Systems Organization and Communication Networks; Software Engineering; Systems and Data Security
856 _uhttp://link.springer.com/openurl?genre=book&isbn=978-3-319-10556-7
942 _cEB
999 _c42108
_d42108