Cocktail II

Es ist ein Werkzeug für die formale statische Überprüfung von Programmen.
Jetzt downloaden

Cocktail II Ranking & Zusammenfassung

Anzeige

  • Rating:
  • Lizenz:
  • Freeware
  • Name des Herausgebers:
  • M.Franssen
  • Betriebssysteme:
  • Windows
  • Dateigröße:
  • 32.4 MB

Cocktail II Stichworte


Cocktail II Beschreibung

Cocktail II (Mangel an einem besseren Namen) ist ein Follow-up-Projekt des Cocktails. Es ist ein Werkzeug für die formale statische Verifizierung von Programmen. Die derzeit unterstützte Sprache ist klein, zeigt jedoch bereits einige interessante Funktionen wie rekursive Datentypen. Teile deine Erfahrung: Schreiben Sie eine Bewertung zu diesem Programm


Cocktail II Zugehörige Software

Bildschneider.

Es kann Ihnen dabei helfen, ein Bild in Fliesen zu schneiden, die auf einer Google Map angezeigt werden. ...

0 N/A

Herunterladen

Über uns