Benutzer: Gast  Login
Dokumenttyp:
Buch 
Autor(en):
Nipkow, Tobias; Paulson, Lawrence C.; Wenzel, Markus 
Titel:
Isabelle, HOL 
Titelzusatz:
a proof assistant for higher order logic 
Serientitel/Schriftenreihe:
Lecture Notes in Computer Science 
Serienbandnummer:
2283 
Verlag / Institution:
Springer 
Verlagsort:
Berlin; Heidelberg; New York; Barcelona; Hong Kong; London 
Seiten/Umfang:
XIII, 218 S. 
Jahr:
2002 
Print-ISBN:
3-540-43376-7 
Sprache:
en 
TUM Einrichtung:
Informatik IV - Software und Systems Engineering 
Format:
Text