Constructing Correct Software (Formal Approaches to Computing and Information Technology
لا توجد تقييمات بعد
1999
·
الإنجليزية
·
غلاف ورقي