• ВХОД

    •  

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

    Modern formal methods and applications / SpringerLink (Online service) ; Ed. H. A. Gabbar. - Dordrecht [etc.] : Springer, 2006. - XXII, 197 p. : ill. - URL: http://dx.doi.org/10.1007/1-4020-4223-X. - Библиогр. в конце глав. Указ. : с. 197. - ISBN 1-4020-4222-1. - Текст : непосредственный.

    ГРНТИ УДК
    50.01004.02

    Рубрики:
    Формальные методы

    Кл.слова (ненормированные): ПРИМЕНЕНИЕ -- ФОРМАЛЬНЫЕ МЕТОДЫ
    Доп. точки доступа:
    Gabbar, H. A.\ed.\
    SpringerLink (Online service)

    http://dx.doi.org/10.1007/1-4020-4223-X


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

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



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

    Просмотр издания