SW wykład 3 - Slajd1: Różnice pomiędzy wersjami

Z Studia Informatyczne
Przejdź do nawigacjiPrzejdź do wyszukiwania
← poprzednia edycjanastępna edycja →
WizualnieWikikod
Arturas (dyskusja | edycje)
397 edycji
Nie podano opisu zmian
Arturas (dyskusja | edycje)
397 edycji
Nie podano opisu zmian
Linia 1: Linia 1:
{{Szablon:Szablon:Semantyka i weryfikacja programów/Wykład 3}}
{{Semantyka i weryfikacja programów/Wykład 1}}
[[Grafika:sw0300.png|center|frame]]
[[Grafika:sw0300.png|center|frame]]

Wersja z 12:27, 10 sie 2006

<<powrót do strony wykładu

Wstęp Literatura Programy Programy, sprzeczne oczekiwania WielkiCel Składnia Semantyka Pragmatyka Logika Metodyka Implementacja Formalna semantyka Przykład Przykład, c.d. Przykład, reguła dowodzenia Uzasadnianie poprawności Plan zajęć

Źródło: „https://wazniak.mimuw.edu.pl/index.php?title=SW_wykład_3_-_Slajd1&oldid=14356”