Полное описание

Tan, Y. M. Formal specification techniques for engineering modular C programs / Y.M.Tan. - Boston, Ma [etc.] : Kluwer, 1996. - XVI,213 p. p. : ill. - (The Kluwer international series in software engineering / Ed.:V.R.Basin ; 1). - ISBN 0-7923-9653-7. - Текст : непосредственный.
Библиогр.:с205-208.Указ.:с.209-213

ГРНТИ	УДК
50.05.09	004.415.28

Рубрики:
Программы для ЭВМ -- Спецификация

Держатели документа:
Государственная публичная научно-техническая библиотека России : 123298, г. Москва, ул. 3-я Хорошевская, д. 17 (Шифр в БД-источнике (KATBW): R/17933/1)

Шифр в сводном ЭК: fb6c693ac2da896d2d9632b86151d4db

Заказать издание
Заказ фрагмента документа ₽