%0 Book
%A Bartha Tamás, Csertán György, Majzik István, Pataricza András, Varró Dániel, Varró-Gyapay Szilvia
%T Formális módszerek az informatikában
%B 
%D 2010
%@ 978 963 954 890 9
%U https://edu.interkonyv.hu/konyvek/formalis-modszerek-az-informatikaban/