51 M 81 Monin, Jean-Francois. Understanding Formal Methods : научное издание / J. -F. Monin ; transl. ed. M. G. Hinchey. - London [et al.] : Springer, 2003. - XV, 275 p. - ISBN 1-85233-247-6 : 1725.00 р.
Рубрики: МАТЕМАТИКА--ОСНОВАНИЯ МАТЕМАТИКИ--МАТЕМАТИЧЕСКАЯ ЛОГИКА Для заказа издания воспользуйтесь услугами МБА |