Program Refinement
Автор: Lambert M. Surhone
Издательство:
Год издания: 2010
Страниц: 72
ISBN: 9786130513016
Аннотация:
High Quality Content by WIKIPEDIA articles! In formal methods, program refinement is the verifiable transformation of an abstract (high-level) formal specification into a concrete (low-level) executable program. Stepwise refinement allows this process to
Посмотреть в магазинах:
Другие сервисы поиска:
Книгу "Program Refinement" (Lambert M. Surhone) можно также попробовать поискать и скачать в бесплатных электронных библиотеках, однако мы рекомендуем пользоваться только официальными сервисами, имеющими соглашения с авторами и издательствами.
|
| (c) KBD.RU |