【预订】Introduction to Process Algebra 9783540665793 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783540665793 Author 作者 Fokkink Format 版本 精装 Pages Number 页数 168页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 1999-12-23 Language 语种 英语 Book Contents 内容简介 Automated and semi-automated manipulation of so-called labelled transition systems has become an important means in discovering flaws in software and hardware systems. Process algebra has been developed to express such labelled transition systems algebraically, which enhances the ways of manipulation by means of equational logic and term rewriting.The theory of process algebra has developed rapidly over the last twenty years, and verification tools have been developed on the basis of process algebra, often in cooperation with techniques related to model checking. This textbook gives a thorough introduction into the basics of process algebra and its applications.
¥608.00
【预订】Introduction to Process Algebra 9783642085840 美国库房发货，通常付款后3-5周到货！
¥608.00
海外直订Introduction to Process Algebra 过程代数概论
¥574.00
海外直订Introduction to Process Algebra 过程代数概论
¥594.00
预订 高被引Introduction to Process Algebra [ISBN:9783642085840] 【全球购】进口原版图书，一般5-8周左右到国内
¥636.00
