Format:
XIII, 218 S.
ISBN:
3540433767
Series Statement:
Lecture notes in computer science 2283 : Tutorial
Additional Edition:
Erscheint auch als Online-Ausgabe ISBN 3-540-45949-9
Language:
English
Subjects:
Computer Science
Keywords:
HOL
;
Isabelle
;
HOL
;
Funktionale Programmierung
;
HOL
;
Formale Methode
Author information:
Nipkow, Tobias 1958-