spio

جنبه های نظری و عملی بررسی مدل اسپین: پنجمین و ششمین کارگاه بین المللی اسپین ترنتو، ایتالیا، 5 ژوئیه 1999 تولوز، فرانسه، 21 و 24 سپتامبر 1999 مجموعه مقالات

دانلود کتاب Theoretical and Practical Aspects of SPIN Model Checking: 5th and 6th International SPIN Workshops Trento, Italy, July 5, 1999 Toulouse, France, September 21 and 24, 1999 Proceedings (به فارسی: جنبه های نظری و عملی بررسی مدل اسپین: پنجمین و ششمین کارگاه بین المللی اسپین ترنتو، ایتالیا، 5 ژوئیه 1999 تولوز، فرانسه، 21 و 24 سپتامبر 1999 مجموعه مقالات) نوشته شده توسط «John Rushby (auth.) – Dennis Dams – Rob Gerth – Stefan Leue – Mieke Massink (eds.)» اطلاعات کتاب جنبه های نظری و عملی بررسی مدل اسپین: پنجمین و ششمین کارگاه بین المللی اسپین ترنتو، ایتالیا، 5 ژوئیه…