"Can a Programming Language Reason About Systems?" by Marianne Bellotti (Strange Loop 2023)
Neden izlemeli?
Yeni bir dil olan Fault ile sistemleri modelleme ve davranışlarını mantıksal olarak sorgulama yaklaşımı tanıtılıyor. Sistem doğrulama, modelleme veya programlama dilleriyle ilgilenen yazılım mühendisleri ve araştırmacılar için düşünmeye değer fikirler içerir.
Opendart Akademi
Bu konuyu canlı derste, gerçek projelerle öğrenin → Tüm Eğitimlerimiz
Eğitmen eşliğinde, canlı online veya sınıf içi; bireysel ve kurumsal seçenekler. Tüm eğitimler
