Formális módszerek az informatikában

TitleFormális módszerek az informatikában
Publication TypeBook
Year of Publication2004
AuthorsPataricza, A., Bartha, T., Csertán, G., Gyapay, S., Majzik, I., and Varró, D.
PublisherTypotex
NotesIn Hungarian