Andrzej M. BorzyszkowskiAndrzej M.
	Borzyszkowski
Logika dla informatyków, Wykład

108 systemów wspomagania specyfikacji i weryfikacji oprogramowania i hardware'u'.

Do góry