Hardware Verification by Formal Proof

Մատենագիտական մանրամասներ
Հիմնական հեղինակներ:	Birtwistle, G, Graham, B, Melham, T, Schediwy, R
Ձևաչափ:	Report
Հրապարակվել է:	Department of Computer Science‚ University of Calgary 1988

Նկարագրություն
Ամփոփում:

Նմանատիպ նյութեր