Workshop on Logics of Programs

Detalles Bibliográficos
Autores principales: Clarke, Edmund, Kozen, Dexter
Lenguaje:eng
Publicado: Springer 1984
Materias:
Computing and Computers
Acceso en línea:http://cds.cern.ch/record/102327

Internet

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

Ejemplares similares