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 10: | Linia 10: | ||
Programy, sprzeczne oczekiwania | Programy, sprzeczne oczekiwania | ||
Wielki Cel | Wielki Cel | ||
Slajd6 | Slajd6|test | ||
Slajd7 | Slajd7 | ||
Slajd8 | Slajd8 |