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

٢٠٢٣

New Perspectives on Games and Interaction

٢٠٢٥