Спецификация и верификация программ: Учебное пособие
Спецификация и верификация программ: Учебное пособие
Авторы:
Красовицкий А.М.
Ключевые слова:
информатика
Подробная информация
Каталог
1
Басылым түрі
Монография (кітап)
Автор(-лар)
Красовицкий А.М.
Атауы
Спецификация и верификация программ: Учебное пособие
Басылым қаласы
Алматы
Баспа
ТОО ,, Rrint S,,
Басылған жылы
2004
Көлемі
85 с
УДК индексі
004.415.28+004.415.5(07)
Авторлық белгілер
К78
Орналасу түрі
2
Негізгі мәтін тілі
рус
Материал түрі
Мәтін
Басылым мазмұнының түрі
Учебное пособие
Цитирование
ГОСТ
Красовицкий А.. Спецификация и верификация программ: Учебное пособие . – Алматы: ТОО ,, Rrint S,,, 2004. – 85 с.
APA
Красовицкий, А. (2004). Спецификация и верификация программ: Учебное пособие ТОО ,, Rrint S,,.
MLA
Красовицкий, А.М.. Спецификация и верификация программ: Учебное пособие. ТОО ,, Rrint S,,, 2004. 85 с.
Отзывы читателей
Айгуль С.
(5/5)
15 апреля 2025
Отличная книга! Глубокий анализ материала, читается на удивление легко для научной работы. Очень рекомендую всем, кто интересуется темой.
Бауржан К.
(4/5)
10 апреля 2025
Хороший материал, видна проделанная автором работа. Однако, на мой взгляд, местами изложение немного суховато и не хватает живых примеров.
АС
Айдос Студент
(3/5)
05 апреля 2025
Книга как книга. Для учебы пойдет.
На полках читателей
МБ
16.04.2025
01.03.2025
Б7
02.04.2025
Цитаты из книги
"Программирование сегодня – это гонка, в которой разработчики программного обеспечения стремятся создавать больше и лучше защищенные от дураков программы, а Вселенная стремится создавать больших и лучших дураков. Пока Вселенная побеждает."
"Истина где-то рядом, но не всегда в очевидных местах. Иногда нужно копнуть глубже или посмотреть под другим углом."
"Знание – сила, но только когда оно применяется осознанно и целенаправленно."