Yazar
Mizuhito Ogawa
1 cilt bulundu.
Cilt sonuçları
Automated Technology for Verification and Analysis
Dang Van Hung, Mizuhito Ogawa · Springer International Publishing AG
542 sayfa · 2013
Automatic theorem proving / Software engineering / Computer science / Computer Communication Networks / Logic design