دانلود کتاب Model Checking Software: 11th International SPIN Workshop, Barcelona, Spain, April 1-3, 2004. Proceedings
by Reinhard Wilhelm (auth.)
|
عنوان فارسی: نرم افزار چک کردن مدل: 11TH کارگاه SPIN بین المللی، بارسلونا، اسپانیا، آوریل 1-3، 2004. مجموعه مقالات |