Volker Stolz

ספרים שבהם Volker Stolz מופיע/ה ברשימת המחברים, לא כמחבר/ת הראשי/ת: ספרים משותפים, אוספים וסיכומים.

Runtime VerificationThao Dang

Runtime Verification

Thao Dang · 2022

Theoretical Aspects of Computing - ICTAC 2020Violet Kai I. Pun

Theoretical Aspects of Computing - ICTAC 2020

Violet Kai I. Pun · 2020

Formal Methods : Foundations and ApplicationsGustavo Carvalho

Formal Methods : Foundations and Applications

Gustavo Carvalho · 2020

Advances in Service-Oriented and Cloud ComputingZoltán Ádám Mann

Advances in Service-Oriented and Cloud Computing

Zoltán Ádám Mann · 2018