Logic in computer science:modelling and reasoning about systems

Kaydedildi:
Detaylı Bibliyografya
Yazar: Huth, Michael
Diğer Yazarlar: Ryan, Mark
Dil:İngilizce
Baskı/Yayın Bilgisi: Cambridge CUP 2005
Edisyon:2nd ed.
Konular:
Etiketler: Etiketle
Etiket eklenmemiş, İlk siz ekleyin!

Benzer Materyaller: Logic in computer science:modelling and reasoning about systems