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
- Categorie: Ontwikkeling > Andere
- Publisher: www.techjava.de/projects/etla-plugin/
- Licentie: Gratis
- Prijs: N/A
- Versie: 2.1.0
- Platform: windows