Wr Time Tracker.
Wr Time Tracker ist ein einfaches, offenes, webbasiertes Zeitverfolgungssystem. ...
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. ...