000			00618nam a2200145Ia 4500
008			191030s9999 xx 000 0 und d
020			_a9783319105062
100			_aAndrea Bondavalli, Felicita Di Giandomenico
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; Computer Applications
856			_uhttp://link.springer.com/openurl?genre=book&isbn=978-3-319-10505-5
942			_cEB
999			_c42104 _d42104