×

找到5个软件包（结果1-5）

引文 按字母顺序

壁画

10篇文献引用(1991–2014)
软件作者： C.B.琼斯。；K.D.琼斯。；Lindsay，P.A。；R.D.摩尔。
相关软件： RAISE（提升）；落叶松；HOL…
主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）

序曲工具

4份文件引用（2010年至2021年）
软件作者： Larsen，P.G.，Battle，N.，Ferreira，M.A.，Fitzgerald，J.S.，Lausdahl，K.，Verhoef，M。
相关软件： 罗丹；github；核心ASM…
主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）

VDM工具

1份文件引用(2017)
软件作者： J Fitzgerald，PG Larsen，南撒哈拉
相关软件： AGG；MiniSat；序曲工具…
主要字段： 计算机科学（68-XX）

卡纳克

1份文件引用(1995)
软件作者： 塔雷克·穆罕默德·埃尔纳迪；艾伯特·胡格威伊斯
相关软件： –
主要字段： 计算机科学（68-XX）

VDM公司++

在0个文档中引用
软件作者： CSK公司
相关软件： GATeL；Z轴
主要字段： –

筛选结果依据…

全部的 前5名

相关软件

主字段