000			00624nam a2200145Ia 4500
008			191030s9999 xx 000 0 und d
020			_a9783642410109
100			_aCharles Pecheur, Michael Dierkes
245		0	_aFormal Methods for Industrial Critical Systems
260			_bSpringer _c2013
440			_aLecture Notes in Computer Science
653			_aSoftware Engineering; Logics and Meanings of Programs; Special Purpose and Application-Based Systems; Mathematical Logic and Formal Languages; Computation by Abstract Devices
856			_uhttp://link.springer.com/openurl?genre=book&isbn=978-3-642-41009-3
942			_cEB
999			_c41754 _d41754