Język formalny: Różnice pomiędzy wersjami
| [wersja przejrzana] | [wersja przejrzana] |
Usunięta treść Dodana treść
→Języki formalne a języki naturalne: drobne redakcyjne |
m ramka |
||
Linia 100:
* [http://wazniak.mimuw.edu.pl/index.php?title=Semantyka_i_weryfikacja_program%C3%B3w Semantyka i weryfikacja programów] (materiały dydaktyczne [[Wydział Matematyki, Informatyki i Mechaniki Uniwersytetu Warszawskiego|MIMUW]] na studia informatyczne II stopnia)
{{Informatyka teoretyczna}}
{{Kontrola autorytatywna}}
| |||