000 00461nam a2200157Ia 4500
008 191030s9999 xx 000 0 und d
020 _a978-3-642-21768-5
100 _aMartin Gogolla, Burkhart Wolff
245 0 _aTests and Proofs
260 _aGermany
_bSpringer
_c2011
536 _aManagement
650 _aComputer Science
650 _aTests and Proofs
856 _uhttp://link.springer.com/openurl?genre=book&isbn=978-3-642-21767-8
942 _cE_BOOK
999 _c62720
_d62720