【预订】Communicating Sequential Processes. The First 25 Years 9 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783540258131 Author 作者 Abdallah Format 版本 平装-胶订 Pages Number 页数 326页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2005-05-03 Language 语种 英语 Book Contents 内容简介 This volume, like the symposium CSP25 which gave rise to it, commemorates the semi-jubilee of Communicating Sequential Processes. 1 Tony Hoare’s paper “Communicating Sequential Processes” is today widely regarded as one of the most inuential papers in computer science. To comm- orate it, an event was organized under the auspices of BCS-FACS (the British Computer Society’s Formal Aspects of Computing Science specialist group). CSP25 was one of a series of such events organized to highlight the use of formal methods, emphasize their relevance to modern computing and promote their wider application. BCS-FACS is proud that Tony Hoare presented his original ideas
¥608.00
海外直订Communicating Sequential Processes. the First 25 Years:
¥627.00
预订 Communicating Sequential Processes. the First 25 Years: S 【全球购】进口原版图书，一般5-8周左右到国内
¥643.00
