عنوان
پدید آورنده
موضوع
رده
کتابخانه
محل استقرار
9783642298608
b434576
Runtime Verification
[Book]
Second International Conference, RV 2011, San Francisco, CA, USA, September 27-30, 2011, Revised Selected Papers /
edited by Sarfraz Khurshid, Koushik Sen
Berlin, Heidelberg :
Springer Berlin Heidelberg,
2012
Lecture Notes in Computer Science,
7186
0302-9743 ;
9783642298592
Springer eBooks
Computer science
Computer software
Logic design
Software engineering
Algorithm Analysis and Problem Complexity
Computer Science
Logics and Meanings of Programs
Mathematical Logic and Formal Languages
Programming Languages, Compilers, Interpreters
Programming Techniques
Software Engineering
Khurshid, Sarfraz
Sen, Koushik
SpringerLink (Online service)
20120511153806.0
مطالعه متن کتاب [Book]
Y
