Del 12475 - Lecture Notes in Computer Science
Formal Methods: Foundations and Applications
23rd Brazilian Symposium, SBMF 2020, Ouro Preto, Brazil, November 25–27, 2020, Proceedings
Häftad, Engelska, 2020
949 kr
Skickas inom 10-15 vardagar
Volker Stolz – författare
Visar alla böcker från författaren Volker Stolz.
4 produkter
4 produkter
- Del 12545 - Lecture Notes in Computer Science
Theoretical Aspects of Computing – ICTAC 2020
17th International Colloquium, Macau, China, November 30 – December 4, 2020, Proceedings
Häftad, Engelska, 2020739 kr
Skickas inom 10-15 vardagar
- Del 13498 - Lecture Notes in Computer Science
Runtime Verification
22nd International Conference, RV 2022, Tbilisi, Georgia, September 28–30, 2022, Proceedings
Häftad, Engelska, 2022969 kr
Skickas inom 10-15 vardagar
- Del 824 - Communications in Computer and Information Science
Advances in Service-Oriented and Cloud Computing
Workshops of ESOCC 2017, Oslo, Norway, September 27-29, 2017, Revised Selected Papers
Häftad, Engelska, 2018739 kr
Skickas inom 10-15 vardagar