文章基本信息

标题：JVMにおけるロックの整合性検証のための新しい型システム
本地全文：下载
作者：岩間太 ; 小林直樹
期刊名称：コンピュータソフトウェア
印刷版ISSN：0289-6540
出版年度：2002
卷号：19
期号：2
页码：138-144
DOI：10.11309/jssst.19.138
出版社：Japan Society for Software Science and Technology

联系我们|关于我们|网站声明

国家哲学社会科学文献中心版权所有