Спецификация и верификация программ: Учебное пособие
Толық ақпарат
Каталог
Орыс тіліндегі басылым қоры
Басылым түрі
Монография (кітап)
Автор(-лар)
Красовицкий А.М.
Атауы
Спецификация и верификация программ: Учебное пособие
Басылым қаласы
Алматы
Баспа
ТОО ,, Rrint S,,
Басылған жылы
2004
Көлемі
85 с
УДК индексі
004.415.28+004.415.5(07)
Авторлық белгілер
К78
Орналасу түрі
2
Негізгі мәтін тілі
рус
Материал түрі
Мәтін
Басылым мазмұнының түрі
Учебное пособие
Дәйексөз келтіру
ГОСТ
Красовицкий А.. Спецификация и верификация программ: Учебное пособие . – Алматы: ТОО ,, Rrint S,,, 2004. – 85 с.
APA
Красовицкий, А. (2004). Спецификация и верификация программ: Учебное пособие ТОО ,, Rrint S,, https://www.atyrau-edu.kz/fund/show/f60a85bb-aec2-45f3-80ca-6586b80bea52
MLA
Красовицкий, А.М.. Спецификация и верификация программ: Учебное пособие. ТОО ,, Rrint S,,, 2004. 85 с. Accessed 10 Dec. 2025.
Әзірге пікірлер жоқ. Бірінші болыңыз!
Оқырмандардың сөрелерінде
Бұл кітап ешбір қоғамдық сөреде табылмады.
Кітаптан дәйексөздер
Бүгінгі бағдарламалау – бағдарламалық жасақтама жасаушылар үлкенірек және жақсырақ ақымаққа төзімді бағдарламалар жасауға ұмтылатын, ал Әлем үлкенірек және жақсырақ ақымақтар жасауға ұмтылатын жарыс. Әзірге Әлем жеңіп келеді.