عنوان
پدید آورنده
موضوع
رده
QA76.76.V47 G474 2000
QA76
.
76
.
V47
G474
2000
کتابخانه
محل استقرار
3540450475
9783540450474
b566083
Computer Aided Verification :
[Book]
12th International Conference, CAV 2000, Chicago, IL, USA, July 15-19, 2000. Proceedings.
Gerhard Goos
Berlin/Heidelberg
Springer Berlin Heidelberg
2000
QA76
.
76
.
V47
G474
2000
Gerhard Goos
Gerhard Goos
Jan Van Leeuwen
Juris Hartmanis
مطالعه متن کتاب [Book]
Y
