000 00519nam a2200157Ia 4500
008 191030s9999 xx 000 0 und d
020 _a978-3-642-03466-4
100 _aMartin Leucker, Carroll Morgan
245 0 _aTheoretical Aspects of Computing - ICTAC 2009
260 _aGermany
_bSpringer
_c2009
536 _aManagement
650 _aComputer Science
650 _aTheoretical Aspects of Computing - ICTAC 2009
856 _uhttp://link.springer.com/openurl?genre=book&isbn=978-3-642-03465-7
942 _cE_BOOK
999 _c60823
_d60823