1. Model checking softwar
پدیدآورنده : Alex Groce, Madanlal Musuvathi (eds.)
کتابخانه: Central Library and Information Center of Shahed University (Tehran)
موضوع : SPIN (Computer file), Congresses,Computer software, Verification, Congresses
رده :
QA
،
76
.
76
،.
V47
2. 15, 2011. Proceedings-Model Checking Software: 18th International SPIN Workshop, Snowbird, UT, USA, July 14
پدیدآورنده : / Jasmin Fisher (auth.), Alex Groce, Madanlal Musuvathi (eds.)
کتابخانه: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
موضوع : COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ENGINEERING, MULTIDISCIPLINARY
رده :
E-BOOK