Format:
XIII, 355 S. :
,
Ill., graph. Darst.
ISBN:
3642294847
,
978-3-642-29484-6
Series Statement:
Lecture notes in computer science 7230 : Festschrift
Note:
Festschrift
Additional Edition:
Erscheint auch als Online-Ausgabe ISBN 978-3-642-29485-3
Language:
English
Subjects:
Computer Science
Keywords:
Programmierlogik
;
Programmanalyse
;
Programmiersprache
;
Mathematische Methode
;
Algorithmus
;
Kleene-Algebra
;
Koalgebra
;
Mathematische Logik
;
Komplexitätstheorie
;
Aufsatzsammlung
;
Festschrift
;
Aufsatzsammlung
;
Festschrift
;
Aufsatzsammlung
;
Aufsatzsammlung
;
Festschrift
URL:
http://d-nb.info/1021557056/04
Author information:
Constable, Robert Lee, 1952-
Author information:
Kozen, Dexter, 1951-
Bookmarklink