BRIEF HISTORY OF MATHEMATICS FOR CURIOUS MINDS, A More Books by Krzysztof R. Apt

New Perspectives on Games and Interaction

2025

Verification of Sequential and Concurrent Programs

2009