000 00543nam a2200157Ia 4500
008 191030s9999 xx 000 0 und d
020 _a978-3-540-34895-5
100 _aRoberto Gorrieri, Heike Wehrheim
245 0 _aFormal Methods for Open Object-Based Distributed Systems
260 _aGermany
_bSpringer
_c2006
536 _aManagement
650 _aComputer Science
650 _aFormal Methods for Open Object-Based Distributed Systems
856 _uhttp://link.springer.com/openurl?genre=book&isbn=978-3-540-34893-1
942 _cE_BOOK
999 _c58132
_d58132