ACL2.
ACL2 ist sowohl eine Programmiersprache, in der Sie Computersysteme und ein Werkzeug modellieren können, um Ihnen zu helfen, die Eigenschaften von Modellen zu erweisen. ...
 | SpringenVerteilung von Jython-Skripten in einem Sprung! |
| Jetzt downloaden | |
Springen Ranking & Zusammenfassung
Anzeige
- Lizenz:
- GPL v3
- Preis:
- FREE
- Name des Herausgebers:
- Olli Wang
- Website des Verlags:
- http://trac.ollix.org/
Springen Stichworte
Springen Beschreibung
Distributing von Jython-Skripts in einem Sprung! Jump ist ein Bauwerkzeug, das in Python geschrieben wurde, um Jython-Anwendungen zu verteilen. Anforderungen: · Python
Springen Zugehörige Software
