Yazar
Alessandro Cimatti
4 cilt bulundu.
Cilt sonuçları
Theory and Applications of Satisfiability Testing – SAT 2012
Alessandro Cimatti · Springer Berlin Heidelberg
Sayfa sayısı yok · 2012
Mathematical Logic and Formal Languages / Circuits Information and Communication / Algorithm Analysis and Problem Complexity / Logic design / Logics and Meanings of Programs
Formal Methods for Hardware Verification
Marco Bernardo, Alessandro Cimatti · Springer London, Limited
Sayfa sayısı yok · 2006
Integrated circuits / Telecommunication systems