Yazar
Robert Gerth
2 cilt bulundu.
Cilt sonuçları
Zürich
Andreas Gerth, Felix E. Müller, Robert Schnieper · C.J. Bucher
63 sayfa · 1994
Description and travel / Pictorial works
Theoretical and Practical Aspects of SPIN Model Checking
Dennis Dams, Robert Gerth, Stefan Leue, Mieke Massinek · Springer London, Limited
Sayfa sayısı yok · 2003
Kategori yok