000			00492nam a2200157Ia 4500
008			191030s9999 xx 000 0 und d
020			_a978-3-540-31714-2
100			_aJohn Fitzgerald, Ian J. Hayes, Andrzej Tarlecki
245		0	_aFM 2005: Formal Methods
260			_aGermany _bSpringer _c2005
536			_aManagement
650			_aComputer Science
650			_aFM 2005: Formal Methods
856			_uhttp://link.springer.com/openurl?genre=book&isbn=978-3-540-27882-5
942			_cE_BOOK
999			_c57368 _d57368