Krzysztof R. Apt

Books
BRIEF HISTORY OF MATHEMATICS FOR CURIOUS MINDS, A BRIEF HISTORY OF MATHEMATICS FOR CURIOUS MINDS, A
BRIEF HISTORY OF MATHEMATICS FOR CURIOUS MINDS, A
2023
New Perspectives on Games and Interaction New Perspectives on Games and Interaction
New Perspectives on Games and Interaction
2025
Verification of Sequential and Concurrent Programs Verification of Sequential and Concurrent Programs
Verification of Sequential and Concurrent Programs
2009