Knihu momentálně nemáme skladem
Parametry
Více o knize
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.
Nákup knihy
Isabelle, HOL, Tobias Nipkow
- Jazyk
- Rok vydání
- 2002
Jakmile se objeví, pošleme e-mail.
Doručení
Platební metody
Tady nám chybí tvá recenze.