عنوان
پدید آورنده
موضوع
رده
QA 76.9 .L325 2016 E-Book ,
QA
76
.
9
.
L325
2016
E-Book
,
کتابخانه
محل استقرار
:9783319244556
11733
انگلیسی
Languages, design methods, and tools for electronic system design.
[electronic resources]
: Selected Contributions from FDL 2014
\ Frank Oppenheimer , Julio Luis Medina Pasaje Editors
Cham
: Springer
, 2016
1512
vi,205 p
:ill
Lecture Notes in Electrical Engineering
; 361
Bibliography
Formal methods (Computer science) -- Congresses.
Software engineering -- Congresses.
Computer software -- Verification -- Congresses.
روشهای صوری (کامپیوتر) -- کنگره ها
نرمافزار -- مهندسی-- کنگرهها
نرمافزار -- راستیآزمایی -- کنگره ها
QA
76
.
9
.
L325
2016
E-Book
,
Oppenheimer, Frank
Pasaje, Julio Luis Medina
ایران
20161006111019.0
rda
9783319244556.pdf
https://www.loc.gov/catdir/enhancements/fy1611/2015957253-d.html
https://www.loc.gov/catdir/enhancements/fy1611/2015957253-t.html
BL
279177
1
Y
