Основы трансляции, статического анализа и верификации программ
Дисциплина ''Основы трансляции, статического анализа и верификации программ'' входит в учебный план подготовки по направлению 552800 - ''Информатика и вычислительная техника''. Программа разработана на факультете информационных технологий Новосибирского государственного университета.
Kategoriler:
Yayımcı:
ФИТ НГУ
Dil:
russian
Sayfalar:
4
Dosya:
PDF, 212 KB
IPFS:
,
russian0
Litres
Bir kitap dükkanı eklemek ister misiniz? Bize support@z-lib.do adresinden ulaşın
Dosyaları dönüştürün
Diğer arama sonuçları
Diğer avantajları 
Anahtar ifadeler
İlgili Koleksiyonlar
