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

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

#1

Logic Synthesis and Verification Algorithms

Gary D. Hachtel, Fabio Somenzi

39.81 Mb

#2

Abstraction Refinement for Large Scale Model Checking

Chao Wang, Gary D. Hachtel, Fabio Somenzi

8.65 Mb

#3

Computer Aided Verification, 15 conf., CAV 2003

Warren A. Hunt Jr., Fabio Somenzi

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

3.80 Mb