Главная    Ex Libris    Книги    Журналы    Статьи    Серии    Каталог    Wanted    Загрузка    ХудЛит    Справка    Поиск по индексам    Поиск    Форум   
Мехматянам
square Первый курс

square Второй курс

square Третий курс

square Четвертый курс

square Пятый курс
blank
Авторизация

       
blank
Поиск по указателям

blank
Красота
blank
blank
Результат поиска

Поиск книг, содержащих: Sequential composition



КнигаСтраницы для поиска
Gabbay D.M. (Ed), Woods J. (Ed) — Logic and the Modalities in the Twentieth Century, Vol. 7505
Alagić S., Arbib M.A. — The Design of Well-Structured and Correct Programs29, 258
Taubner D. — Finite кepresentations of CCS and TCSP зrograms by фutomata and Petri Nets18
Milner R. — Communicating and mobile systems: the symbol for pi-calculussee Composition
Milner R. — Communicating and Mobile Systems: the Pi-Calculussee "Composition"
Baeten J.C.M., Middelburg С.A. — Process Algebra with timing2, 10, 39, 78, 130, 165
Gries D. — The science of programming114—115
blank
HR
@Mail.ru
© Электронная библиотека попечительского совета мехмата МГУ, 2004-2021
Электронная библиотека мехмата МГУ | Valid HTML 4.01!| Valid CSS! О проекте