Kategorijos: Kūrėjo įrankiai, Kokybės užtikrinimo ir testavimo įranga
HOL 7
Hol trumpas iš aukštesnės eilės logika programavimo aplinka, kurioje gali būti įrodyta, teoremos ir nesukeliančius įrankius įgyvendinti.Built-in sprendimo procedūras ir teorema Provers gali automatiškai nustatyti daug paprastų teoremas. Orakulas...
Paskutiniai žiūrėti programinė įranga
HXTT Data Export 2006 - Oracle2Access 23 Sep 15
-
TeeChart for Javascript 9 Dec 14
-
Mapquest Firefox Toolbar 12 Jul 15
-
Tosska SQL Tuning Expert 18 Jan 18
Ubuntu Cloud Live 14 Apr 15
-
xTools add-in for Microsoft Excel XP/2003 23 Sep 15
Expert Text Global UI OS Layer 16 Jun 17
-
Sony Vaio VPCEH3HFX/B Firmware Extension Parser Device Driver for Windows 7/Windows 8 64-bit 29 Jul 15
-
Acer Aspire V3-472P Broadcom Bluetooth Driver for Windows 8.1 64-bit 20 Dec 15
-
ASUS X751LK Keyboard Device Filter Utility for Windows 7 64-bit 29 Jul 15