یک منطق واقعا منطقی
A really temporal logic
نویسنده: Rajeev Alur; T A Henzinger; Stanford University. Computer Science Department
ناشر: Dept. of Computer Science Stanford University
سال انتشار: 2007
تعداد صفحات: 433
زبان: English
فرمت: pdf - قابل تبدیل به سایر فرمت ها
حجم فایل: 2 مگابایت