El libro está agotado actualmente
Parámetros
Más información sobre el 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.
Compra de libros
Isabelle, HOL, Tobias Nipkow
- Idioma
- Publicado en
- 2002
Te avisaremos por correo electrónico en cuanto lo localicemos.
Métodos de pago
Nos falta tu reseña aquí