دانلود کتاب 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 مجموعه مقالات مجموعه مقالات |