• ВХОД
  •  

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

    R/17933/1
    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 : 450000 р. - Текст : непосредственный.
    Библиогр.:с205-208.Указ.:с.209-213
    ГРНТИ УДК
    50.05.09004.415.28

    Рубрики:
    Программы для ЭВМ -- Спецификация
    Экз-ры полностью R/17933/1
    Имеются экземпляры в отделах: всего 3 : ХР (1), (2)
    Свободны: ХР (1), (2)
    Копия:



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