Formális Eszközök

Az ELTE IK Programtervező Informatikus MSc képzésén található Modellek és Formális Eszközök nevű tantárgy jegyzetei. Kidolgozott tételsor A 15 szóbeli tétel (ahogy látom,…