Umfassende Service-Einschränkungen im Bereich Ausleihe ab 17. März!

Treffer: Isabelle

Titel:

Isabelle : a generic theorem prover / Lawrence C. Paulson. With contributions by Tobias Nipkow

Beteiligt:

Paulson, Lawrence C.

Veröffentlicht:

Berlin [u.a.] : Springer, 1994

Umfang:

XVII, 321 S.

Format:

Buch

Sprache:

Englisch

Schriftenreihe/Mehrbändiges Werk:

Lecture notes in computer science ; 828
alle Bände anzeigen

RVK-Notation:

Schlagworte:

ISBN:

3540582444 ; 0387582444

Zusatz-Informationen