并行进程建模。Petri网
A

并行进程建模。Petri网

算法
Petri nets parallel processes modeling asynchronous systems system analysis verification formal methods
作者
Marakhovskiy V. B., Rozenblyum L. Ya., Yakovlev A. V.
出版社
专业文献
年份
2014
语言
俄语
146
评价本书

阅读本书 登录 / 注册

预览片段

相似书籍

计算机网络。原理、技术与协议

计算机网络。原理、技术与协议

V. Olifer, N. Olifer

编译器构造。基础与应用

编译器构造。基础与应用

汉斯彼得·莫森伯克

面向初学者的Java设计模式示例

面向初学者的Java设计模式示例

大卫·伯恩斯坦

兰德·D·V·斯纳尔斯基 A·A·别兹苏德诺夫 I·V 互联网学 复杂网络导航

兰德·D·V·斯纳尔斯基 A·A·别兹苏德诺夫 I·V 互联网学 复杂网络导航

D. V. Lande, A. A. Snarsky, I. V. Bezsudnov

Web应用程序设计与开发。JavaScript和Node.js前端与后端开发入门。

Web应用程序设计与开发。JavaScript和Node.js前端与后端开发入门。

A. M. Zayats, N. P. Vasilev

C++ 响应式编程：使用 RxCpp 库和现代 C++17 设计并行与异步应用

C++ 响应式编程：使用 RxCpp 库和现代 C++17 设计并行与异步应用

普拉西德·派，彼得·亚伯拉罕

.NET平台上的并发与并行。高效设计模式

.NET平台上的并发与并行。高效设计模式

里卡多·特雷尔

机器学习。从数据中提取知识的科学与艺术。

机器学习。从数据中提取知识的科学与艺术。

彼得·弗拉赫 (Peter Flach)

JavaScript 专业级 Web 开发。第4版国际版

JavaScript 专业级 Web 开发。第4版国际版

马特·弗里斯比

机器学习。从概念到实现的系统设计

机器学习。从概念到实现的系统设计

瓦列里·巴布什金，阿尔谢尼·克拉夫琴科