Tarama sonucunda 1 kayıt bulundu.
NoTez NoYazarYılTez Adı (Orijinal/Çeviri)Tez Türü Konu
1374441AYUB ROKHMAN WAKHID2014Generating libraries of highly correct and safe functions by using proof-based formal methods
İspat-tabanlı yazılım doğruluğu ve güvenilirliğini gösterme tekniklerini kullanarak güvenilir bir kütüphane oluşturmak
Yüksek LisansBilgisayar Mühendisliği Bilimleri-Bilgisayar ve Kontrol = Computer Engineering and Computer Science and Control

Satırlar(Rows) 1-1 of 1

2025 © ULUSAL TEZ MERKEZİ
İnternet sitemizi en iyi şekilde görüntüleyebilmek için Google Chrome ya da Mozilla Firefox tarayıcısını kullanmanızı öneririz.