 | AnahtarıAnahtar aracında Hoare Calculus'u yapmanızı sağlar |
| Şimdi İndirin | |
Anahtarı Sıralama ve Özet
Reklamcılık
- Lisans:
- GPL
- Fiyat:
- FREE
- Yayıncı adı:
- The KeY Project
- yayıncı web sitesi:
- http://www.key-project.org
- İşletim sistemleri:
- Mac OS X
- Dosya boyutu:
- 1 KB
Anahtarı Etiketler
Anahtarı Açıklama
Anahtar aracın içinde Hoare Calculus yapmanızı sağlar Key-Hoare, anahtarın üstüne inşa edilmiş ücretsiz ve kullanımı kolay bir yazılımdır ve güncellemelerle bir Hoare Calculus'a sahiptir. Key-Hoare, Hoare Calculus'a öğretmek için Chalmers Lisans Ders Programı Doğrulamasında kullanılır.
Anahtarı İlgili Yazılım
