Ali Mili
· 10 obras en el catálogo
Obras

Software Testing: Concepts and Operations (Quantitative Software Engineering Series)
Software Testing

Verification and Evaluation of Computer and Communication Systems

Discrete Mathematics and Logic

Software Engineering

An introduction to formal program verification
1985

An introduction to program fault tolerance
1990

Computer program construction
1994

Towards structured specifying
1989