Szablon:Semantyka i weryfikacja programów/Wykład 1: Różnice pomiędzy wersjami
Z Studia Informatyczne
Przejdź do nawigacjiPrzejdź do wyszukiwania
Nie podano opisu zmian |
Nie podano opisu zmian |
||
Linia 9: | Linia 9: | ||
Programy | Programy | ||
Programy, sprzeczne oczekiwania | Programy, sprzeczne oczekiwania | ||
Wielki Cel | |||
Slajd6 | Slajd6 | ||
Slajd7 | Slajd7 |