Verification of Sequential and Concurrent Programs Krzysztof R. Apt, Frank S. de Boer & Ernst-Rüdiger Olderog의 도서 더 보기

BRIEF HISTORY OF MATHEMATICS FOR CURIOUS MINDS, A

2023년

New Perspectives on Games and Interaction

2025년