عنوان
پدید آورنده
موضوع
رده
E-Book ,
E-Book
,
کتابخانه
محل استقرار
:9783319629193
24483
انگلیسی
Languages, Design Methods, and Tools for Electronic System Design
[electronic resources]
: Selected Contributions from FDL 2016
\ Franco Fummi, Robert Wille, Editors
Switzerland
: Springer
, 2018
vii, 116p.
:ill
Lecture Notes in Electrical Engineering
; V.454
Index
Bibliography
Formal methods (Computer science) -- Congresses
Software engineering -- Congresses
Computer software -- Verification -- Congresses
روشهای صوری (کامپیوتر) -- کنگرهها
نرمافزار -- مهندسی-- کنگرهها
نرمافزار -- راستیآزمایی -- کنگرهها
E-Book
,
Fummi, Franco
Wille, Robert
ایران
9783319629193.pdf
p
BL
279177
1
a
N
