000			00609nam a2200145Ia 4500
008			191030s9999 xx 000 0 und d
020			_a9783319633879
100			_aRupak Majumdar, Viktor Kuncak
245		0	_aComputer Aided Verification
260			_bSpringer _c2017
440			_aLecture Notes in Computer Science
653			_aLogics and Meanings of Programs; Software Engineering; Simulation and Modeling; The Computing Profession; System Performance and Evaluation; Artificial Intelligence (incl. Robotics)
856			_uhttp://link.springer.com/openurl?genre=book&isbn=978-3-319-63386-2
942			_cEB
999			_c43932 _d43932