|
|
 |
| Результат поиска |
Поиск книг, содержащих: Process algebra
| Книга | Страницы для поиска | | Hein J.L. — Discrete Mathematics | 555 | | Truesdell C.A., Bharatha S. — The Concept and Logic of Classical Thermodynamics As a Theory of Heat Engines. Rigorously Constructed Upon Foundations Laid by S. Carnot and F. Reech | 203, 303, 314, 333, 341 | | Algebraic Methods II: Theory, Tools and Applications (Lecture Notes in Computer Science) (v. 2) | 203, 303, 314, 333, 341 | | Hein J.L. — Discrete Structures, Logic, and Computability | 548—550 | | Baeten J.C.M., Middelburg С.A. — Process Algebra with timing | VII | | Jacky J. — The Way of Z: Practical Programming with Formal Methods | 326 |
|
|
|
|
О проекте