An edition of Formal methods in computing
(2005)
Formal methods in computing
by Lajos Rónyai
Share
×Close
This work doesn't have a description yet. Can you add one?
Check nearby libraries
Buy this book
Previews available in: English
Subjects
Formal methods (Computer science)| Edition | Availability |
|---|---|
1
Formal methods in computing
2005, Akadémiai Kiadó, Akademiai Kiado?
in English
9630582589 9789630582582
|
aaaa
|
Book Details
Table of Contents
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.
Edition 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, Veszprém (VEAB)"--Pref.
Includes bibliographical references.
Classifications
The Physical Object
Edition Identifiers
Work Identifiers
Community Reviews (0)
Lists
| July 26, 2023 | Edited by ImportBot | import existing book |
| December 22, 2020 | Edited by MARC Bot | import existing book |
| February 6, 2019 | Created by MARC Bot | import existing book |