1
Baskı/Yayın Bilgisi 2014
İçindekiler: ... and Size Complexity Analysis of Integer Programs -- Proving Non termination via Safety -- Ranking Templates...
Tam Metin Erişim
Elektronik Ekitap