Tabla de Contenidos: Formal methods in computing /

Guardado en:

Autor Corporativo:	Veszprémi Akadémiai Bizottság.
Otros Autores:	Ferenczi, M. 1947-, Pataricza, András, 1954-, Rónyai, Lajos.
Formato:	Libro
Idioma:	English
Publicado:	Budapest : Akadémiai Kiadó, c2005.
Materias:	Formal methods (Computer science)
Acceso en línea:	Table of contents
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Tabla de Contenidos:

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.