Le livre est actuellement en rupture de stock
Paramètres
En savoir plus sur le livre
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.
Achat du livre
Isabelle, HOL, Tobias Nipkow
- Langue
- Année de publication
- 2002
Nous vous informerons par e-mail dès que nous l’aurons retrouvé.
Modes de paiement
Il manque plus que ton avis ici.