Yazar
Simon Siegler
2 cilt bulundu.
Cilt sonuçları
Verification, Induction, Termination Analysis
Simon Siegler · Springer Berlin Heidelberg
Sayfa sayısı yok · 2010
Logic design / Information systems / Computer science / Software engineering / Computer networks
