Maude MSOS Tool

Licentie: Gratis ‎Bestandsgrootte: N/A
‎Gebruikersbeoordeling: 3.0/5 - ‎1 ‎Stemmen

Maude MSOS Tool is een formele omgeving voor de specificatie van modulaire structurele operationele semantiek specificaties. Het is met name nuttig voor de formele specificatie van programmeertalen en gelijktijdige systemen.

versiegeschiedenis

  • Versie N/A geplaatst op 2011-08-12
    Verschillende oplossingen en updates
  • Versie N/A geplaatst op 2011-08-12

Programmadetails