000			00529nam a2200157Ia 4500
008			191030s9999 xx 000 0 und d
020			_a978-3-642-02138-1
100			_aDavid Lee, Antónia Lopes, Arnd Poetzsch-Heffter
245		0	_aFormal Techniques for Distributed Systems
260			_aGermany _bSpringer _c2009
536			_aManagement
650			_aComputer Science
650			_aFormal Techniques for Distributed Systems
856			_uhttp://link.springer.com/openurl?genre=book&isbn=978-3-642-02137-4
942			_cE_BOOK
999			_c60384 _d60384