Enseñando métodos formales con Coq
En este trabajo presentamos una propuesta para apoyar la enseñanza de métodos formales en una currícula de grado, y postgrado, usando el asistente de pruebas Coq y conceptos del área de Teoría de Tipos. Proponemos un taller de especificación, construcción y verificación de sistemas en los pa...
Сохранить в:
| Главный автор: | |
|---|---|
| Формат: | |
| Опубликовано: |
Red de Universidades Nacionales con Carreras de Informática,
2006-12-01T00:00:00Z.
|
| Предметы: | |
| Online-ссылка: | Connect to this object online. |
| Метки: |
Добавить метку
Нет меток, Требуется 1-ая метка записи!
|
Internet
Connect to this object online.3rd Floor Main Library
| Шифр: |
A1234.567 |
|---|---|
| Копировать 1 | Доступно |