NAḤAL ZERED IN THE BIBLE AND THE BARAITA DE-TEḤUMIN
- 期刊名称Palestine Exploration Quarterly
- 作者Elitzur, Yoel
- 卷第145卷
- 期第2期
- 印刷ISSN0031-0328
- 电子ISSN1743-1301
- 文件大小350.89KB
- 发表时间2013-06
- DOI10.1179/0031032812Z.00000000032
- 页码108-118
Proving loop programsBasu, Sanat K.; Misra, Jayadev · IEEE Transactions on Software Engineering · 1975
Whole Test Suite GenerationFraser, Gordon; Arcuri, Andrea · IEEE Transactions on Software Engineering · 2013
Experimentation in software engineeringBasili, Victor R.; Selby, Richard W.; Hutchens, David H. · IEEE Transactions on Software Engineering · 1986
Object-oriented developmentBooch, Grady · IEEE Transactions on Software Engineering · 1986
The source code control systemRochkind, Marc J. · IEEE Transactions on Software Engineering · 1975
Language design for programming reliabilityGannon, John D.; Horning, J. J. · IEEE Transactions on Software Engineering · 1975
Precise Calling Context EncodingSumner, William N.; Zheng, Yunhui; Weeratunge, Dasarath; Zhang, Xiangyu · IEEE Transactions on Software Engineering · 2012
Efficient decentralized consensus protocolsLakshman, T. V.; Agrawala, Ashok K. · IEEE Transactions on Software Engineering · 1986