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 8: | Linia 8: | ||
Literatura | Literatura | ||
Programy | Programy | ||
Programy, sprzeczne oczekiwania | |||
Slajd5 | Slajd5 | ||
Slajd6 | Slajd6 |