"Thomas Kropf" скачать бесплатно. Электронная библиотека. Поиск книг LibCats

Самая большая электронная библиотека рунета. Поиск книг и журналов

#1

Formal Hardware Verification: Methods and Systems in Comparison

Категория: Cs_Computer science, CsLn_Lecture notes

3.14 Mb

#2

Theorem Provers in Circuit Design: Theory, Practice and Experience

Ramayya Kumar, Thomas Kropf

3.04 Mb

#3

Correct Hardware Design and Verification Methods: 10th IFIP WG10.5 Advanced Research Working Conference, CHARME'99, Bad Herrenalb, Germany, September ...

Laurence Pierre, Thomas Kropf

4.53 Mb