Andrzej M. Borzyszkowski
Logika dla informatyków, Wykład
108 systemów
wspomagania specyfikacji i weryfikacji oprogramowania i hardware'u'.
Do góry