Verification of Sequential and Concurrent Programs More Books by Krzysztof R. Apt, Frank S. de Boer & Ernst-Rüdiger Olderog

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