Dynamic logic /

other_versions_link
Detaylı Bibliyografya
Yazar: Harel, David
Diğer Yazarlar: Kozen, Dexter ., Tiuryn, Jerzy .
Materyal Türü: Printed Book
Dil:English
Baskı/Yayın Bilgisi: New Delhi : Prentice Hall of India , 2002.
Konular:
Mathamatical logic

Benzer Materyaller