اصول مدل چک کردن
Principles of Model Checking
نویسنده: Christel Baier, Joost-Pieter Katoen
ناشر: The MIT Press, MIT Press Ser, Cambridge, Mass, 2008?
سال انتشار: 2008
تعداد صفحات: 994
زبان: English
فرمت: pdf - قابل تبدیل به سایر فرمت ها
حجم فایل: 4 مگابایت