108 systemów wspomagania specyfikacji i weryfikacji oprogramowania i hardware'u.
Wykład 1 (14.X 2025)