عنوان
پدید آورنده
موضوع
رده
QA 76.76 .V47F6
QA
76
.
76
.
V47F6
کتابخانه
محل استقرار
Formal system verification : state-of-the-art and future trends
Cham
Springer
c2018
xvi, 182 p.: ill. )some col.( + 1 computer file: PDF
Also available at IPM digital library: https://libraryportal.ipm.ac.ir
Includes bibliographies
ISBN: 9783319576831
Rolf Drechsler, editor
1
، Computer systems -- Verification
، Computer software -- Verification
، Integrated circuits -- Verification
، Electronic systems
QA
76
.
76
.
V47F6
TI
AU Drechsler, Rolf editor
