عنوان
پدید آورنده
موضوع
رده
E-Book ,
E-Book
,
کتابخانه
محل استقرار
:9783319576831
31100
انگلیسی
Formal System Verification
[electronic resources]
: State-of-the-Art and Future Trends
Rolf Drechsler, Editor
Cham
: Springer
, 2018
xvi, 182p.
:ill
Bibliography
Microprocessors
Electronics
Microelectronics
ریزپردازندهها
الکترونیک
میکرو الکترونیک
E-Book
,
Drechsler, Rolf
ایران
9783319576831.pdf
BL
279177
1
a
N
