000 00569nmm a2200181Ia 4500
001 EBK17656
005 20250328150655.0
008 250328s9999 xx 000 0 und d
020 _a9783030217594
100 _aJorge A. Perez
245 0 _a"Formal Techniques for Distributed Objects, Components, and Systems"
650 _aComputer Science
650 _aInformation Storage and Retrieval
700 _a Nobuko Yoshida
856 _3Click here to access online
856 _uhttps://link.springer.com/openurl?genre=book&isbn=978-3-030-21759-4
942 _cEBK
999 _c165661
_d165661