دانلود کتاب Model Checking Software: 13th International SPIN Workshop, Vienna, Austria, March 30 - April 1, 2006. Proceedings
by Stefan Edelkamp
|
عنوان فارسی: نرم افزار چک کردن مدل در تاریخ: 13th کارگاه SPIN بین المللی، وین، اتریش، 30 مارس - آوریل 1، 2006. مجموعه مقالات |