Sofiene Tahar Author & Editor

Osman Hasan, National University of Sciences and Technology, Pakistan.

Sofiène Tahar, Concordia University, Canada.

Probabilistic Analysis using Theorem Proving

2 authors - Paperback

£56.44

Formalized Probability Theory and Applications Using Theorem Proving

2 authors - Hardback

£212.00

Formal Methods and Software Engineering

2 contributors - Paperback

£49.99

Verification and Evaluation of Computer and Communication Systems

4 contributors - Paperback

£44.99