Author books / Книги автора Robert K. Brayton (auth.) Costas Courcoubetis (eds.) » Online Library TheLib.net

Online Library TheLib.net » Author books / Книги автора Robert K. Brayton (auth.) Costas Courcoubetis (eds.)

book Computer Aided Verification: 5th International Conference, CAV '93 Elounda, Greece, June 28–July 1, 1993 Proceedings

Computer Aided Verification: 5th International Conference, CAV '93 Elounda, Greece, June 28–July 1, 1993 Proceedings

djvu

Author: Robert K. Brayton (auth.) Costas Courcoubetis (eds.)
Language: English
Year: 1993

00

26.01.2024

0

0