Saltar al contenido

Certificados
Cursos
Noticia
Libros

HOL

Introducción a la Demostración Asistida por Ordenador con Isabelle/HOL – Libro Gratis

13 de marzo de 202525 de octubre de 2021 por

El siguiente libro gratuito está dirigido para todas aquellas personas interesadas en aprender sobre este gran tema.

Categorías Noticia Etiquetas HOL, Isabelle Deja un comentario

Contacto Política de Privacidad Sobre Nosotros

© 2026 Noticias de ciencia, tecnología y oportunidades educativas.
Proyecto editorial: OpenLibro – Libros gratuitos de programación