عنوان
پدید آورنده
موضوع
رده
کتابخانه
محل استقرار
9781441959973
9781441959980
dltt
Scalable Techniques for Formal Verification
[Book]
by Sandip Ray.
Boston, MA :
Springer Science+Business Media, LLC,
2010.
Computer-aided design.
Engineering.
Systems engineering.
Ray, Sandip.
SpringerLink (Online service)
20100623151403.0
مطالعه متن کتاب [Book]
Y
