OSDN -- Développer et télécharger des logiciels Open Source
Traduction statut du Français translation status for fr

Télécharger des czt-ide-1.6.0.201504020148-win32.win32.x86_64.zip (czt-ide-1.6.0.201504020148-win32.win32.x86_64.zip ( lien externe: SourceForge.net): 66,586,730 octets) va bientôt commencer. Sinon, cliquez sur czt-ide-1.6.0.201504020148-win32.win32.x86_64.zip ( lien externe: SourceForge.net).

Informations sur le fichier

Taille du fichier
66,586,730 octets
MD5
ce597b8cb7cf73a9dbf6ab46b3532a9c

Où voulez-vous aller après?

Description du projet

Community Z Tools Project (CZT): Tools for editing, typechecking and animating Z specifications and related notations. Includes a Java framework for building formal methods tools.