Kategorie: Narzędzia systemowe, Dystrybucje Linuksa
IsaMorph 0.9
IsaMorph jest dystrybucja Linux Live CD (na podstawie Morphiksie) wyposażony w interaktywny twierdzenie Prover Isabelle.Oznacza to, można uruchomić z płyty CD i uzyskać w pełni sprawny "dowodzenie twierdzen" środowisko bez instalacji GNU / Linux lub...
Ostatnio oglądane oprogramowania
Xml Editor 26 Jan 15
-
Database Events Alerter for MS SQL 12 Jul 15
Elerium HTML .NET Parser 1 Jan 15
python-gettext 14 Apr 15
-
dhtmlxConnector for Java 22 Jan 15
PostgreSQL Data Sync 4 May 15
GroupDocs.Annotation for Java 6 Apr 15
-
Chilkat Perl Upload Library (64 bit) 27 Jan 15
-
JWAD (Java Web-App Debugger) 21 Sep 15
Find Password Protected Excel Files 4 May 20