Winter School on Abstract Software Specifications

Detalles Bibliográficos
Autor principal: Bjørner, Dines
Lenguaje:eng
Publicado: Springer 1980
Materias:
Computing and Computers
Acceso en línea:http://cds.cern.ch/record/102203

Internet

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

Ejemplares similares