eTLA 2.1.0

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

TLA+ Eclipse IDE plugin. Integratie van formele definitietaal 'Temporal Logic of Actions' voor het specificeren van systemen in Eclipse IDE

versiegeschiedenis

  • Versie 2.1.0 geplaatst op 2005-08-22
    Verschillende oplossingen en updates
  • Versie 2.1.0 geplaatst op 2005-08-22

Programmadetails