Varlıklar ve ilişkiler kullanıcı tanımlı türleri olarak belirtilir. PVS ispat aracı kullanacağız. Doğrulama, tür denetleyicisi tarafından otomatik olarak oluşturulan tür doğruluğu koşullarını kanıtlamayı içerir.
sürüm geçmişi
- Sürüm N/A tarihinde gönderildi 2010-03-12
Çeşitli düzeltmeler ve güncelleştirmeler - Sürüm N/A tarihinde gönderildi 2010-03-12
Program Detayları
- Kategori: Ağ & İnternet > Diğer
- Yayımcı: ermt.sf.net
- Lisans: Ücret -siz
- Fiyat: N/A
- Sürüm: Array
- Platform: windows