دانلود کتاب Tools and Algorithms for the Construction and Analysis of Systems: Third International Workshop, TACAS'97 Enschede, The Netherlands, April 2–4, 1997 Proceedings
by Gérard Berry (auth.)
|
عنوان فارسی: ابزارها و الگوریتم\ها برای ساخت و تحلیل سیستم\ها: سومین کارگاه بین\المللی، TACAS'97 Enschede، هلند، 2 تا 4 آوریل 1997 مجموعه مقالات |