Yazar
Alain Finkel
2 cilt bulundu.
Cilt sonuçları
Reachability Problems
Alain Finkel · Imprint: Springer
Sayfa sayısı yok · 2012
Mathematical Logic and Formal Languages / Software engineering / Algorithm Analysis and Problem Complexity / Logic design / Logics and Meanings of Programs
Computer Aided Verification
Gerard Berry, Hubert Comon, Alain Finkel · Springer London, Limited
Sayfa sayısı yok · 2003
Kategori yok