Mga Kategorya: Tool ng developer, Pagtiyak ng kalidad at pagsubok ng software
HOL 7
HOL maigsing mula sa mas mataas na Order Logic ay isang programming kapaligiran kung saan theorems ay maaaring di-napatutunayang at mga tool patunay ipinatupad.Built-in na mga pamamaraan ng desisyon at teorama provers maaaring awtomatikong magtatag ng...
Kamakailan tiningnan Aplikasyon
HotSpot MWC Server 28 Apr 18
Network/Unplugged 27 Oct 15
-
ResourceBlender.NET 25 Jan 15
Project Recovery Toolbox 30 Dec 14
Navicat Data Modeler 18 Jun 16
Clever Internet Suite for Delphi 2007 21 Jan 15
-
PDF Conversion Series - PDF Image Extract 12 Jul 15
Fedex 12 Apr 15
Visual Database Creator 26 Jan 15
-
Image Viewer CP Pro ActiveX Control 3 May 20