000			00674nam a2200145Ia 4500
008			191030s9999 xx 000 0 und d
020			_a9783319662848
100			_aStefano Tonetta, Erwin Schoitsch, Friedemann Bitsch
245		0	_aComputer Safety, Reliability, and Security
260			_bSpringer _c2017
440			_aLecture Notes in Computer Science
653			_aLogics and Meanings of Programs; Programming Languages, Compilers, Interpreters; Software Engineering; Systems and Data Security; Computer Applications; Computer Systems Organization and Communication Networks
856			_uhttp://link.springer.com/openurl?genre=book&isbn=978-3-319-66283-1
942			_cEB
999			_c43993 _d43993