by Doron A. Peled
No reviews yet. Be the first!
Model checking
Software Reliability Methods
Automated Technology for Verification an...
Computer aided verification
Software Reliability Methods (Texts in C...
Time for Verification
Kokuritsu Kokkai Toshokan shozō Meijiki ...
The Logic of Scientific Discovery
Digital Design
Evaluation of Novel Approaches to Softwa...
Information and Communication Technologi...
How computers work