Burkart, Olaf: Automatic verification of sequential infinite state processes
/ Olaf Burkart. - Berlin : Springer, 1997. - X, 163 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 1354)
ISBN 978-3-540-63982-4 / 3-540-63982-9 kart. : DM 50.00
Quelle: DNB
Burkart, Olaf: Automatic verification of sequential infinite state processes
/ O. Burkart. - Berlin : Springer, 1999. - Online-Ressource - (Lecture notes in computer science; 1354)
ISBN 978-3-540-69678-0
Lizenzpflichtig
Quelle: DNB
Grammatical inference: algorithms and applications
: 5th international colloquium ; proceedings / ICGI 2000, Lisbon, Portugal, September 11 - 13, 2000. Arlindo L. Oliveira (ed.). - Berlin : Springer, 2000. - VIII, 311 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 1891 : Lecture notes in artificial intelligence)
ISBN 978-3-540-41011-9 / 3-540-41011-2 kart. : DM 82.00
Literaturangaben
Quelle: DNB
Fülöp, Zoltán: Syntax directed semantics
: formal models based on tree transducers / Zoltán Fülöp ; Heiko Vogler. - Berlin : Springer, 1998. - X, 269 S. : graph. Darst.; 24 cm - (Monographs in theoretical computer science)
ISBN 978-3-540-64607-5 / 3-540-64607-8 Pp. : DM 89.00
Literaturverz. S. 257 - 263
Quelle: DNB
