„Formális módszerek” változatai közötti eltérés
Nincs szerkesztési összefoglaló |
|||
| 27. sor: | 27. sor: | ||
== Segédanyagok == | == Segédanyagok == | ||
*Miből érdemes tanulni? | |||
* Formális módszerek az informatikában ([http://www.typotex.hu/ Typotex]) - [http://www.informatik.uni-hamburg.de/TGI/pnbib/p/pataricza_a.html Pataricza András] | ** Formális módszerek az informatikában ([http://www.typotex.hu/ Typotex]) - [http://www.informatik.uni-hamburg.de/TGI/pnbib/p/pataricza_a.html Pataricza András] | ||
* Régi zh meg vizsgasorok (elég hasonló példák vannak) | ** Régi zh meg vizsgasorok (elég hasonló példák vannak) | ||
* Előadásfóliák | ** Előadásfóliák | ||
* [[Formális módszerek HOWTO|Régi anyagok]] | ** [[Formális módszerek HOWTO|Régi anyagok]] | ||
== Házi == | == Házi == | ||