×

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

引文 按字母顺序

日本运通银行

25篇文献引用(2002–2022)
软件作者： 克劳斯·哈维隆德；格里高·罗什乌
相关软件： Java PathFinder；莫德；班德拉…
主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）

j承包商

9份文件引用(2002–2012)
软件作者： 穆拉特·卡拉曼；帕克·阿伯克龙比
相关软件： JML；埃菲尔；规范#…
主要字段： 计算机科学（68-XX）

DiSL公司

2份文件引用(2016–2022)
软件作者： 卢卡什·马雷克（LukášMarek）、郑宇迪（Yudi Zheng
相关软件： 阿克卡普洛夫；JMeter；Kieker…
主要字段： 计算机科学（68-XX）

专业建造师

在0个文档中引用
软件作者： –
相关软件： –
主要字段： –

筛选结果依据…

全部的 前5名

相关软件

主字段