Het boek is momenteel niet op voorraad
Parameters
Meer over het boek
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.
Een boek kopen
Isabelle, HOL, Tobias Nipkow
- Taal
- Jaar van publicatie
- 2002
Zodra we het ontdekt hebben, sturen we een e-mail.
Betaalmethoden
We missen je recensie hier.