دانلود کتاب 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

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

زبان : English

نویسندگان : John Rushby (auth.), Dennis Dams, Rob Gerth, Stefan Leue, Mieke Massink (eds.)

ناشر : Springer-Verlag Berlin Heidelberg

سال انتشار : 1999

ISBN (شابک) : 3540664998, 9783540664994

ویرایش : [1 ed.]

سری : Lecture Notes in Computer Science 1680

تعداد صفحات : 282[293]

حجم : 2 مگابایت

فرمت کتاب : pdf

قیمت : 36000 تومان