Il libro è attualmente esaurito
Maggiori informazioni sul libro
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.
Acquisto del libro
Isabelle, HOL, Tobias Nipkow
- Lingua
- Pubblicato
- 2002
Ti avviseremo via email non appena lo rintracceremo.
Metodi di pagamento
Qui potrebbe esserci la tua recensione.