 | Üçlü birJava'da yazılmış (sonlu) otomatları için tam özellikli kütüphane |
| Şimdi İndirin | |
Üçlü bir Sıralama ve Özet
Reklamcılık
- Lisans:
- Freeware
- Fiyat:
- FREE
- Yayıncı adı:
- Markus Strauch
- yayıncı web sitesi:
- İşletim sistemleri:
- macOS
- Dosya boyutu:
- 3.1 MB
Üçlü bir Etiketler
Üçlü bir Açıklama
Java'da yazılı (sonlu) otomatları için tam özellikli kütüphane Triple-A (Otomatik Automata ile otomatik analiz), Java'da iki güçlü analiz aracı (LTL modeli kontrolü ve resburger aritmetikleri ile başa çıkma) ve etrafında yerleşik bir grafiksel kullanıcı arayüzü olan (sonlu) otomatları için tam özellikli bir kütüphanedir. Gereksinimler: · Java 1.5 veya daha sonra
Üçlü bir İlgili Yazılım
