10% endirim hədiyyə edin
Bu kitabı tövsiyə edin və dostunuzun alışından 2,59 ₼ əldə edin.
Yalnız Litres-də oxuyun
Kitab fayl olaraq yüklənə bilməz, yalnız mobil tətbiq və ya onlayn olaraq veb saytımızda oxuna bilər.
Основной контент книги Методы верификации программ
Mətn PDF
Həcm 315 səhifə
2023 il
0+
Yalnız Litres-də oxuyun
Kitab fayl olaraq yüklənə bilməz, yalnız mobil tətbiq və ya onlayn olaraq veb saytımızda oxuna bilər.
25,86 ₼
Kitab haqqında
В книге излагаются вопросы моделирования и верификации (т.е. доказательства правильности) различных классов программ. Основные концепции и основанные на них подходы к верификации иллюстрированы примерами верификации различных программ. Для закрепления усвоения изложенного материала в книге приведено большое количество задач.
Книга предназначена для студентов высших учебных заведений, обучающихся по специальностям «теоретические основы информатики», «искусственный интеллект» и «информационная безопасность».
Daxil olun, kitabı qiymətləndirmək və rəy bildirmək üçün
Kitab А. М. Миронова «Методы верификации программ» — saytda onlayn oxuyun. Şərh və rəylərinizi qeyd edin, sevimlilərinizi seçin.
Yaş həddi:
0+Litresdə buraxılış tarixi:
03 aprel 2026Yazılma tarixi:
2023Həcm:
315 səh. ISBN:
978-5-93700-278-5Ümumi ölçü:
7.1 МБSəhifələrin ümumi sayı:
315Müəllif hüququ sahibi:
ДМК Пресс