000			00565nam a2200169Ia 4500
008			220313s9999 xx 000 0 und d
022			_a9783030780890
100			_aKirstin Peters
245		0	_aFormal Techniques for Distributed Objects, Components, and Systems
260			_bSpringer Nature _c2021
440			_aLecture Notes in Computer Science
500			_aOne time purchase [Perpetual access]
650			_aComputer Science
700			_a Tim A. C. Willemse
856			_uhttps://link.springer.com/openurl?genre=book&isbn=978-3-030-78089-0
942			_cEB
999			_c49389 _d49389