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...

Volledige beschrijving

Bewaard in:
Bibliografische gegevens
Hoofdauteur: Carlos Daniel Luna (Auteur)
Formaat: Boek
Gepubliceerd in: Red de Universidades Nacionales con Carreras de Informática, 2006-12-01T00:00:00Z.
Onderwerpen:
Online toegang:Connect to this object online.
Tags: Voeg label toe
Geen labels, Wees de eerste die dit record labelt!

Internet

Connect to this object online.

3rd Floor Main Library

Exemplaargegevens van 3rd Floor Main Library
Plaatsingsnummer: A1234.567
Kopie 1 Beschikbaar