1. 15, 2011. Proceedings-Model Checking Software: 18th International SPIN Workshop, Snowbird, UT, USA, July 14
پدیدآورنده : / Jasmin Fisher (auth.), Alex Groce, Madanlal Musuvathi (eds.)
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ENGINEERING, MULTIDISCIPLINARY
رده :
E-BOOK