Anlauff, Matthias: Rechnerunterstützung formaler Beweissprachen
/ Matthias Anlauff. Gesellschaft für Mathematik und Datenverarbeitung mbH. - München : Oldenbourg, 1995. - XII, 162 S. : graph. Darst. - (Berichte der Gesellschaft für Mathematik und Datenverarbeitung; Nr. 244)
ISBN 978-3-486-23396-4 / 3-486-23396-3 kart. : ca. DM 50.00
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
Priese, Lutz: Theoretische Informatik Petri-Netze
/ Lutz Priese ; Harro Wimmel. - Berlin : Springer, 2003. - IX, 376 S. : graph. Darst.; 24 cm - (Springer-Lehrbuch)
ISBN 978-3-540-44289-9 / 3-540-44289-8 kart. : EUR 29.95
Literaturverz. S. 365 - 368
Quelle: DNB
