سیستم های ترکیبی III: تأیید و کنترل
Hybrid Systems III: Verification and Control
نویسنده: John Lygeros, Datta N. Godbole, Shankar Sastry (auth.), Rajeev Alur, Thomas A. Henzinger, Eduardo D. Sontag (eds.)
ناشر: Springer-Verlag Berlin Heidelberg
سال انتشار: 1996
تعداد صفحات: 627
زبان: English
فرمت: djvu - قابل تبدیل به سایر فرمت ها
حجم فایل: 6 مگابایت