Mini-Curso sobre demonstração automática Mini-curso sobre
Demonstração Assistida Usando o Sistema ISABELLE/HOL
por Tobias Nipkow, Technische Univertaet Muenchen
Local: Departamento de (...)
[ Palestra ]
Information Theory Perspectives in Optical (...) Palestra pelo Presidente da IEEE Information Theory Society
Prof. Steve McLaughlin, Georgia Institute of Technology
Information Theory Perspectives in (...)
[ Seminário ]
Hume: a domain-specific language for real-time (...) por Kevin Hammond, University of St. Andrews
Abstract: Hume is a domain-specific language for resource-constrained systems, such as real-time embedded systems. (...)