Hoppa till sidans huvudinnehåll

Volker Stolz – författare

Visar alla böcker från författaren .
4 produkter
Gustavo Carvalho, Volker Stolz - Formal Methods: Foundations and Applications, Häftad
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

AvGustavo Carvalho,Volker Stolz

Häftad, Engelska, 2020

949 kr

Skickas inom 10-15 vardagar

Violet Ka I Pun, Volker Stolz, Adenilso Simao - Theoretical Aspects of Computing – ICTAC 2020, Häftad
Del 12545 - Lecture Notes in Computer Science

Theoretical Aspects of Computing – ICTAC 2020

17th International Colloquium, Macau, China, November 30 – December 4, 2020, Proceedings

AvViolet Ka I Pun,Volker Stolzm. fl.

Häftad, Engelska, 2020

729 kr

Skickas inom 10-15 vardagar

Thao Dang, Volker Stolz - Runtime Verification, Häftad

Runtime Verification

22nd International Conference, RV 2022, Tbilisi, Georgia, September 28–30, 2022, Proceedings

AvThao Dang,Volker Stolz

Häftad, Engelska, 2022

959 kr

Skickas inom 10-15 vardagar

Zoltán Ádám Mann, Volker Stolz - Advances in Service-Oriented and Cloud Computing, Häftad
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

AvZoltán Ádám Mann,Volker Stolz

Häftad, Engelska, 2018

729 kr

Skickas inom 10-15 vardagar