Formal Methods for Interactive Systems (Computers and People) by Alan Dix

الإنجليزية · غلاف صلب