Author books / Книги автора Avra Cohn (auth.) Graham Birtwistle P. A. Subrahmanyam (eds.) » Online Library TheLib.net

Online Library TheLib.net » Author books / Книги автора Avra Cohn (auth.) Graham Birtwistle P. A. Subrahmanyam (eds.)

book Current Trends in Hardware Verification and Automated Theorem Proving

Current Trends in Hardware Verification and Automated Theorem Proving

pdf

Author: Avra Cohn (auth.) Graham Birtwistle P. A. Subrahmanyam (eds.)
Language: English
Year: 1989

00

27.01.2024

0

0