Вид документа : Однотомное издание Шифр издания : 51/M 81 Автор(ы) : Monin, Jean-Francois Заглавие : Understanding Formal Methods : научное издание Выходные данные : London [et al.]: Springer, 2003 Колич.характеристики :XV, 275 с ISBN, Цена 1-85233-247-6: 1725.00 р. ГРНТИ : 27.03.19 ББК : 510.3 Предметные рубрики: МАТЕМАТИКА-- ОСНОВАНИЯ МАТЕМАТИКИ-- МАТЕМАТИЧЕСКАЯ ЛОГИКА Экземпляры :кх(1) Свободны : кх(1) Доп.точки доступа: Monin, Jean-Francois \пер.\; Hinchey, Michael \ed., пер.\