Szablon:Semantyka i weryfikacja programów/Wykład 1

Z Studia Informatyczne
Przejdź do nawigacjiPrzejdź do wyszukiwania

<slides> name=SW wykład 1 fontsize=120% menuItemsNumber=17 showButtons=true hideMenu=false Wstęp Literatura Programy Programy, sprzeczne oczekiwania Wielki Cel Slajd6

<<powrót do strony wykładu

Wstęp Literatura Programy Programy, sprzeczne oczekiwania Wielki Cel Slajd6|Składnia Slajd7|Semantyka Slajd8|Pragmatyka Slajd9|Logika Slajd10|Metodyka Slajd11|Implementacja Slajd12|Formalna semantyka

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