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
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:	Software engineering. Artificial intelligence. Computer science—Mathematics. Computer communication systems. Special purpose computers. Mathematical logic. Software engineering. Artificial intelligence. Computer science—Mathematics. Computer communication systems. Special purpose computers. Mathematical logic.
Source:	Verbunddaten SWB
ISBN:	9783030780890 3030780899

System Under Maintenance

Our Library Management System is currently under maintenance.

Holdings and item availability information is currently unavailable. Please accept our apologies for any inconvenience this may cause and contact us for further assistance:

katalog@ub.tu-freiberg.de

Internet

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