Maude MSOS Tool
Licence: Gratuit Taille du fichier: N/A
Note des utilisateurs: 3.0/5 - 1 Votes
Veuillez patienter... Votre lien de téléchargement est en cours de vérification pour le contenu malveillant.
Vous pourrez télécharger en 5 secondes.
Vous pourrez télécharger en 5 secondes.
Sur Maude MSOS Tool
Maude MSOS Tool est un environnement formel pour la spécification des spécifications sémantiques opérationnelles structurelles modulaires. Il est particulièrement utile pour la spécification formelle des langages de programmation et des systèmes simultanés.