TY  - BOOK
AU  - Bartha Tamás
AU  - Csertán György
AU  - Majzik István
AU  - Pataricza András
AU  - Varró Dániel
AU  - Varró-Gyapay Szilvia
PY  - 2010
T1  - Formális módszerek az informatikában
T2  - None
PB  - Typotex Kiadó
SN  - 978 963 954 890 9
UR  - https://edu.interkonyv.hu/konyvek/formalis-modszerek-az-informatikaban/
ER  -