Yazar
kenneth l mcmillan
2 cilt bulundu.
Cilt sonuçları
Symbolic Model Checking
Kenneth L. McMillan · Springer
205 sayfa · 1993
Systems engineering / Engineering / Information theory / Computer engineering
Symbolic model checking
Kenneth L. McMillan · Kluwer Academic
194 sayfa · 1993
Circuits / Data processing / Design / Electronic digital computers / Logic design