Verification of Sequential and Concurrent Programs

Verification of Sequential and Concurrent Programs

توسط Krzysztof Apt
2/5
(2 آرا)
اولین بار منتشر شد
May 03, 2010
ناشران
Springer

کتاب ها

کتاب های مشابه