Прикладные методы верификации программ
-
Сейчас читают
-
Отложили
-
Прочитали
-
Не дочитали
Автор:
Излагаются основы методологии верификации программ и позиций ее практического использования в процессе разработки программ на алгоритмических языках высокого уровня. Автоматизация наиболее трудоемких этапов верификации программ. Изложение иллюстрируется примерами верификации...Ещё
Излагаются основы методологии верификации программ и позиций ее практического использования в процессе разработки программ на алгоритмических языках высокого уровня. Автоматизация наиболее трудоемких этапов верификации программ. Изложение иллюстрируется примерами верификации программ из различных областей. Для программистов: может быть полезна инженерам, специализирующимся в области вычислительной технике и прикладной математики.
- 1988 г.
- 5256001566
Материалы
Отзывы
Раз в месяц дарим подарки самому активному читателю.Оставляйте больше отзывов, и мы наградим вас!
Цитаты
Вы можете первыми опубликовать цитату