Formal techniques for distributed objects, components, and systems: 41st IFIP WG 6.1 International Conference, FORTE 2021, held as part of the 16th International Federated Conference on Distributed Computing Techniques, DisCoTec 2021, Valletta, Malta, June 14–18, 2021, proceedings
Frontdoor URL | https://opus.bibliothek.uni-augsburg.de/opus4/96814 |
---|---|
ISBN: | 9783030780883OPAC |
ISBN: | 9783030780890OPAC |
ISSN: | 0302-9743OPAC |
ISSN: | 1611-3349OPAC |
Publisher: | Springer |
Place of publication: | Cham |
Editor: | Kirstin PetersORCiDGND, Tim A. C. Willemse |
Type: | Book |
Language: | English |
Year of first Publication: | 2021 |
Release Date: | 2022/07/21 |
Pagenumber: | XII, 245 |
Series: | Lecture Notes in Computer Science ; 12719 |
DOI: | https://doi.org/10.1007/978-3-030-78089-0 |
Institutes: | Fakultät für Angewandte Informatik |
Fakultät für Angewandte Informatik / Institut für Informatik | |
Fakultät für Angewandte Informatik / Institut für Informatik / Professur für Theorie verteilter und paralleler Systeme | |
Dewey Decimal Classification: | 0 Informatik, Informationswissenschaft, allgemeine Werke / 00 Informatik, Wissen, Systeme / 004 Datenverarbeitung; Informatik |