Stirling, Colin P
Modal and temporal properties of processes / Colin Stirlig. -- New York : Springer, [2001]. -- ©2001. -- xii, 190 stran : ilustrace. -- (Texts in computer science). -- ISBN : 0-387-98717-7 (vázáno).
matematická logika. paralelní algoritmy. paralelní počítače. učebnice
004.38.032.24. 004.421.032.24. 510.6. (075)