ERIL - equational reasoning: an interactive laboratory

Detalles Bibliográficos
Autor principal: Dick, A J J
Lenguaje:eng
Publicado: 1985
Materias:
Computing and Computers
Acceso en línea:http://cds.cern.ch/record/165767

Internet

http://cds.cern.ch/record/165767

Ejemplares similares