典型文献
如何写出在数学层面完美的软件
文献摘要：
莱斯利?兰波特(Leslie Lamport)也许不是一个家喻户晓的名字,但对于计算机科学家而言,他是以下成果的幕后功臣:排版程序LaTeX,以及使谷歌和亚马逊的云基础设施成为可能的研究.他还引领人们对一些问题给予了更多关注,给这些问题起了具有特点的名字,比如"面包店算法"和"拜占庭将军问题".这绝非偶然.这位81岁的计算机科学家对于人们如何使用和看待软件有着异乎寻常的缜密考量.
文献关键词：
中图分类号：
作者姓名：
苦山
作者机构：
文献出处：
引用格式：
[1]苦山-.如何写出在数学层面完美的软件)[J].世界科学,2022(07):49-51
A类：
莱斯利,兰波特,Lamport
B类：
写出,Leslie,也许,一个家,家喻户晓,名字,计算机科学,下成,幕后,功臣,排版,LaTeX,亚马逊,领人,面包店,拜占庭,将军,绝非,偶然,这位,异乎寻常,缜密
AB值：
0.533719
相似文献
机标中图分类号，由域田数据科技根据网络公开资料自动分析生成，仅供学习研究参考。
