Handbook of Process Algebra pdf epub mobi txt 电子书 下载 2025


Handbook of Process Algebra

简体网页||繁体网页
Elsevier Science
2001-03-30
1356
USD 275.00
Hardcover
9780444828309

图书标签: 计算机  Formal_Methods  Concurrency   


喜欢 Handbook of Process Algebra 的读者还喜欢




      下载链接1
      下载链接2
      下载链接3
          


      想要找书就要到 笔趣阁图书下载中心
      立刻按 ctrl+D收藏本页
      你会得到大惊喜!!

      发表于2025-03-06

      Handbook of Process Algebra epub 下载 mobi 下载 pdf 下载 txt 电子书 下载 2025

      Handbook of Process Algebra epub 下载 mobi 下载 pdf 下载 txt 电子书 下载 2025

      Handbook of Process Algebra pdf epub mobi txt 电子书 下载 2025



      图书描述

      Process Algebra is a formal description technique for complex computer systems, especially those involving communicating, concurrently executing components. It is a subject that concurrently touches many topic areas of computer science and discrete math, including system design notations, logic, concurrency theory, specification and verification, operational semantics, algorithms, complexity theory, and, of course, algebra. This Handbook documents the fate of process algebra since its inception in the late 1970's to the present. It is intended to serve as a reference source for researchers, students, and system designers and engineers interested in either the theory of process algebra or in learning what process algebra brings to the table as a formal system description and verification technique. The Handbook is divided into six parts spanning a total of 19 self-contained Chapters. The organization is as follows. Part 1, consisting of four chapters, covers a broad swath of the basic theory of process algebra. Part 2 contains two chapters devoted to the sub-specialization of process algebra known as finite-state processes, while the three chapters of Part 3 look at infinite-state processes, value-passing processes and mobile processes in particular. Part 4, also three chapters in length, explores several extensions to process algebra including real-time, probability and priority. The four chapters of Part 5 examine non-interleaving process algebras, while Part 6's three chapters address process-algebra tools and applications.

      Handbook of Process Algebra 下载 mobi epub pdf txt 电子书

      著者简介


      图书目录


      Handbook of Process Algebra pdf epub mobi txt 电子书 下载
      想要找书就要到 笔趣阁图书下载中心
      立刻按 ctrl+D收藏本页
      你会得到大惊喜!!

      用户评价

      评分

      评分

      评分

      评分

      评分

      读后感

      评分

      评分

      评分

      评分

      评分

      类似图书 点击查看全场最低价

      Handbook of Process Algebra pdf epub mobi txt 电子书 下载 2025


      分享链接









      相关图书




      本站所有内容均为互联网搜索引擎提供的公开搜索信息,本站不存储任何数据与内容,任何内容与数据均与本站无关,如有需要请联系相关搜索引擎包括但不限于百度googlebingsogou

      友情链接

      © 2025 twxs8.cc All Rights Reserved. 笔趣阁图书下载中心 版权所有