Krzysztof R. Apt

BRIEF HISTORY OF MATHEMATICS FOR CURIOUS MINDS, A

٢٠٢٣

New Perspectives on Games and Interaction

٢٠٢٥

Verification of Sequential and Concurrent Programs

٢٠٠٩