Krzysztof R. Apt

Books
New Perspectives on Games and Interaction New Perspectives on Games and Interaction
New Perspectives on Games and Interaction
2025
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
Verification of Sequential and Concurrent Programs Verification of Sequential and Concurrent Programs
Verification of Sequential and Concurrent Programs
2009