|
|
 |
| Результат поиска |
Поиск книг, содержащих: Sequential composition
| Книга | Страницы для поиска | | Gabbay D.M. (Ed), Woods J. (Ed) — Logic and the Modalities in the Twentieth Century, Vol. 7 | 505 | | Alagić S., Arbib M.A. — The Design of Well-Structured and Correct Programs | 29, 258 | | Taubner D. — Finite кepresentations of CCS and TCSP зrograms by фutomata and Petri Nets | 18 | | Milner R. — Communicating and mobile systems: the symbol for pi-calculus | see Composition | | Milner R. — Communicating and Mobile Systems: the Pi-Calculus | see "Composition" | | Baeten J.C.M., Middelburg С.A. — Process Algebra with timing | 2, 10, 39, 78, 130, 165 | | Gries D. — The science of programming | 114—115 |
|
|
|
|
О проекте