Szablon:Semantyka i weryfikacja programów/Wykład 1: 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 28: Linia 28:




[[Semantyka i weryfikacja programów <<powrót do strony wykładu]]
[[Semantyka i weryfikacja programów]]

Wersja z 10:08, 10 sie 2006

<slides> name=SW wykład 1 fontsize=120% menuItemsNumber=17 showButtons=true hideMenu=false Slajd1 Slajd2

  • Option: foo


Semantyka i weryfikacja programów

Źródło: „https://wazniak.mimuw.edu.pl/index.php?title=Szablon:Semantyka_i_weryfikacja_programów/Wykład_1&oldid=13560”