eTLA 2.1.0

Licencji: Wolna ‎Rozmiar pliku: N/A
‎Ocena użytkowników: 5.0/5 - ‎1 ‎Głosów

O eTLA

Wtyczka TLA+ Eclipse IDE. Integracja formalnego języka definicji "Temporal Logic of Actions" do określania systemów w Eclipse IDE