Das Buch ist derzeit nicht auf Lager
Mehr zum Buch
This volume is a self-contained introduction to interactive proof in high- order logic (HOL), using the proof assistant Isabelle 2002. – The second part, Logic and Sets, presents a collection of lower-level tactics that you can use to apply rules selectively.
Buchkauf
Isabelle, HOL, Tobias Nipkow
- Sprache
- Erscheinungsdatum
- 2002
Wir benachrichtigen dich per E-Mail.
Lieferung
- Gratis Versand in ganz Österreich
Zahlungsmethoden
Hier könnte deine Bewertung stehen.