Formal methods in computing
By: edited by Ferenczi, M., Pataricza, A., Rónyai, L.
Contributors: Ferenczi, M. 1947-; Pataricza, András, 1954-; Rónyai, Lajos.; Veszprémi Akadémiai Bizottság.
Publisher: Akadémiai Kiadó; Akademiai Kiado?
Published: 2005
Place of publication: Budapest
Language: eng
Number of pages: 425
Subjects: Formal methods (Computer science)
Notes: "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, Veszprém (VEAB)"--Pref.

Includes bibliographical references.
Table of contents: title: Efficient algorithms / Rónyai, L., Pintér, B.M.; title: Graph-theoretic methods and recent applications in computer science / Deogun, J.S., Tuza, Zs.; title: Classical and non-classical logics / Ferenczi, M.; title: Selected topics on automata / Imreh, B.; title: An introduction to tree transducers /Fülöp, Z.; title: Logic in computer science / Szöts, M.; title: Finite-source queueing systems / Sztrik, J.; title: Metamodeling and model transformations / Pataricza, A., Varró, D.