Formal methods in computing - Ferenczi, M. (Miklós), 1947-; Pataricza, András, 1954-; Rónyai, Lajos; Veszprémi Akadémiai Bizottság (Budapest : Akadémiai Kiadó, 2005)
Efficient algorithms / Rónyai, L., Pintér, B.M. -- Graph-theoretic methods and recent applications in computer science / Deogun, J.S., Tuza, Zs. -- Classical and non-classical logics / Ferenczi, M. -- Selected topics on automata / Imreh, B. -- An introduction to tree transducers / Fülöp, Z. -- Logic in computer science / Szöts, M. -- Finite-source queueing systems / Sztrik, J. -- Metamodeling and model transformations / Pataricza, A., Varró, D.
"This collection of tutorials has been written by the members of the Working Group on Formal Methods at the Regional Centre of the Hungarian Academy of Sciences, Veszprém (VEAB)"--Pref.
Incluye referencias bibliográficas.
Keywords: Formal methods (Computer science)