Principles of Computer System Desig..., Saltzer, Jerome

Computer-Aided Control System Desig..., Hassul, Michael

Computer-Aided Verification: A Special Issue of Formal Methods In System Design

Computer-Aided Verification, Hardcover by Kurshan, R. P. (EDT), Like New Used...

Computer-Aided Verification, Hardcover by Kurshan, R. P. (EDT), Brand New, Fr...

Computer-Aided Verification : A Special Issue of Formal Methods In System Des-,

Verification of Reactive Systems: Formal Methods and Algorithms (Texts in Theor,