Io-7-wyk-Slajd58

Z Studia Informatyczne
Przejdź do nawigacjiPrzejdź do wyszukiwania

Specyfikacje aksjomatyczne(17)

Specyfikacje aksjomatyczne(17)


Zastanówmy się, czy ta definicja jest poprawna. Czy faktycznie określa takie zachowanie systemu, jakiego oczekujemy?


<< Poprzedni slajd | Spis treści | Następny slajd >>

Źródło: „https://wazniak.mimuw.edu.pl/index.php?title=Io-7-wyk-Slajd58&oldid=44144”