Yazar
Dennis Dams
4 cilt bulundu.
Cilt sonuçları
Concurrency, Compositionality, and Correctness
Dennis Dams · Springer Berlin Heidelberg
Sayfa sayısı yok · 2010
Logic design / Computer science / Software engineering / Computer software / Parallel programming (Computer science)
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