沃新书屋 - 图文法及图像转换计算手册,卷三 - 作者:Ehrig, H. (EDT)/ Kreowski, H-J (EDT)/ Montanari, U. (EDT)/ Rozenberg, Grzegorz (EDT)

Ehrig, H. (EDT)/ Kreowski, H-J (EDT)/ Montanari, U. (EDT)/ Rozenberg, Grzegorz (EDT)

人物简介:

暂无相关内容,正在全力查找中


图文法及图像转换计算手册,卷三书籍相关信息


内容简介:

Presents the research on concurrency, parallelism, and distribution, important paradigms of modern computer science. Topics considered include semantics for concurrent systems, modeling of concurrency, mobile and coordinated systems, algebraic specifications, and Petri nets. DLC: Graph grammars.