 | Babel-17.Eine kodierende Sprache |
| Jetzt downloaden | |
Babel-17. Ranking & Zusammenfassung
Anzeige
- Lizenz:
- GPL
- Name des Herausgebers:
- Steven Obua
- Betriebssysteme:
- Windows All
- Dateigröße:
- 4.3 MB
Babel-17. Stichworte
- Programmiersprache Programmierung Sprache kodierende Sprache Schreibcode Kodierung Codierungsbibliothek Wedleruk-Codierung. Theorem-Besprecher. Flexible Codierung Programmcodierung Keine Codierung FXCOP-Codierungsregeln. Codierregeln Vorhersagekodierung Satz Codierungskonverter Programmierumgebung ICD9-Codierung. ICD 9-Codierung. Website-Codierung
Babel-17. Beschreibung
Babel-17 ist sowohl eine Programmiersprache als auch eine Sprache, um formale Beweise zu schreiben. Es ist auch ein interaktiver Theorem-Besprecher, der auf der Sprache Babel-17 basiert. Holen Sie sich Babel-17 und testen Sie es selbst, um zu sehen, was es eigentlich tun kann!
Babel-17. Zugehörige Software
Compiler911.
Optimierung, einfaches und cleveres, Multi-Target-Objekt Pascal und Assembler Compiler ...
2.9 MB
