Author books / Книги автора Scott Hazelhurst Carl-Johan H. Seger (auth.) Thomas Kropf (eds.) » Online Library TheLib.net

Online Library TheLib.net » Author books / Книги автора Scott Hazelhurst Carl-Johan H. Seger (auth.) Thomas Kropf (eds.)

book Formal Hardware Verification: Methods and Systems in Comparison

Formal Hardware Verification: Methods and Systems in Comparison

djvu

Author: Scott Hazelhurst Carl-Johan H. Seger (auth.) Thomas Kropf (eds.)
Language: English
Year: 1997

00

26.01.2024

0

0