Formal methods in computing

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...

Ausführliche Beschreibung

Gespeichert in:

Bibliographische Detailangaben
Weitere Verfasser:	Ferenczi, Miklós (HerausgeberIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	Budapest Akadémiai Kiadó 2005
Schlagworte:	Formal methods (Computer science) > Informatik > Formale Methode
Online Zugang:	Inhaltstext Table of contents
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Bestellen

Beschreibung
Zusammenfassung:	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
Beschreibung:	IX, 425 S graph. Darst
ISBN:	9630582589 963-05-8258-9