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 Conferen...

Saved in:

Bibliographic Details
Authors and Corporations:	Peters, Kirstin (Editor), Willemse, Tim A. C. (Editor)
Other Authors:	Peters, Kirstin [Editor] • Willemse, Tim A. C. [Editor]
Edition:	1st ed. 2021.
Type of Resource:	E-Book
Language:	English
published:	Cham Springer International Publishing 2021. Cham Imprint: Springer 2021.
Series:	Programming and Software Engineering
Subjects:	Computer science—Mathematics. Computer communication systems. Special purpose computers. Software engineering. Artificial intelligence. Mathematical logic. Computer networks . Computers, Special purpose. Computer science
Source:	Verbunddaten SWB
ISBN:	9783030780890

Internet

https://doi.org/10.1007/978-3-030-78089-0
Campuslizenz