Tahar, Sofiene

Vis mig kun

Verification and Evaluation of Computer and Communication Systems

Verification and Evaluation of Computer and Communication Systems

Tahar, Sofiene

436,85 DKK

Verification and Evaluation of Computer and Communication Systems

Verification and Evaluation of Computer and Communication Systems

Tahar, Sofiene

436,85 DKK

Theorem Proving in Higher Order Logics

Theorem Proving in Higher Order Logics

Tahar, Sofiene

436,85 DKK