操作系统结构形式化的探讨(摘要)
作者机构：南京大学
出 版 物：《计算机研究与发展》 (Journal of Computer Research and Development)
年 卷 期：1980年第6期
页 面：72-73页
主 题：操作系统 自动机 计算机系统 字母集 字母串 形式化
摘 要：根据中国电子学会计算机学会1979年学术活动计划的安排,计算机科学暑期讨论会于1979年7月23-30日在吉林省长春市召开。讨论会上宣读的论文共45篇,在此只刊登其中一部分。这些论文生动地反映了我国近几年来计算机科学的研究成果。虽然这还不能全面反映我国计算机科学的研究成果,但从这些论文可以明显地看出,在我国一支小小的计算机科学研究队伍正在形成。这是一棵新生的幼苗,让我们爱护它,培育它。因为在新长征中,它将成长壮大,起到自己应有的作用。
同方期刊数据库