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

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

Logic Synthesis and Verification Algorithms

Автор: Gary D. Hachtel, Автор: Fabio Somenzi

Размер книги: 39.81 Mb

Abstraction Refinement for Large Scale Model Checking

Автор: Chao Wang, Автор: Gary D. Hachtel, Автор: Fabio Somenzi

Размер книги: 8.65 Mb

Computer Aided Verification, 15 conf., CAV 2003

Автор: Warren A. Hunt Jr., Автор: Fabio Somenzi

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

Размер книги: 3.80 Mb