Yazar
Holger Schlingloff
4 cilt bulundu.
Cilt sonuçları
Software Engineering and Formal Methods
Holger Schlingloff, Ming Chai · Springer International Publishing AG
Sayfa sayısı yok · 2023
Kategori yok
Concurrency, Specification and Programming
Holger Schlingloff, Thomas Vogel, Andrzej Skowron · Springer International Publishing AG
Sayfa sayısı yok · 2023
Kategori yok
Formal Methods for Software Engineering
Markus Roggenbach, Antonio Cerone, Bernd-Holger Schlingloff, Gerardo Schneider, Siraj Ahmed Shaikh · Springer
450 sayfa · 2020
Kategori yok