Process Algebra: Equational Theories of Communicating Processes ○更優惠○
2013/07/07 23:17
瀏覽292
迴響0
推薦0
引用0
我最近也在找Process Algebra: Equational Theories of Communicating Processes ,感覺真的不錯喔!!下面是我的整理的資料;有Process Algebra: Equational Theories of Communicating Processes 與其他同類值得參考的商品的推荐.隨便google一下有很多人再討論Process Algebra: Equational Theories of Communicating Processes .資訊彙集了評鑑文、開箱文、試用文、分享文、推薦文、哪裡買最便宜,優缺點的分析整理!網路價格隨時會異動,請以原網購平台資料為準！現在很多線上購物平台都有推出該商品!售價隨時會調整;特價有時效性,有需要的朋友動作要快!最近很多網友在問Process Algebra: Equational Theories of Communicating Processes 哪裡買最便宜? |
 |
作者：BAETEN, J. C. M./ BASTEN, T./ RENIERS, M. A. 出版社：CAMBRIDGE UNIV PR 出版日期：2009年12月16日 語言：英文 ISBN：9780521820493 裝訂：精裝 內容簡介TOPPROCESS ALGEBRA IS A WIDELY ACCEPTED AND MUCH USED TECHNIQUE IN THE SPECIFICATION AND VERIFICATION OF PARALLEL AND DISTRIBUTED SOFTWARE SYSTEMS. THIS BOOK SETS THE STANDARD FOR THE FIELD. IT ASSEMBLES THE RELEVANT RESULTS OF MOST PROCESS ALGEBRAS CURRENTLY IN USE, AND PRESENTS THEM IN A UNIFIED FRAMEWORK AND NOTATION. THE AUTHORS DESCRIBE THE THEORY UNDERLYING THE DEVELOPMENT, REALIZATION AND MAINTENANCE OF SOFTWARE THAT OCCURS IN PARALLEL OR DISTRIBUTED SYSTEMS. A SYSTEM CAN BE SPECIFIED IN THE SYNTAX PROVIDED, AND THE AXIOMS CAN BE USED TO VERIFY THAT A COMPOSED SYSTEM HAS THE REQUIRED EXTERNAL BEHAVIOR. AS EXAMPLES, TWO PROTOCOLS ARE COMPLETELY SPECIFIED AND VERIFIED IN THE TEXT: THE ALTERNATING-BIT PROTOCOL FOR DATA COMMUNICATION, AND FISCHER’S PROTOCOL OF MUTUAL EXCLUSION. THE BOOK SERVES AS A REFERENCE TEXT FOR RESEARCHERS AND GRADUATE STUDENTS IN COMPUTER SCIENCE, OFFERING A COMPLETE OVERVIEW OF THE FIELD AND REFERRING TO FURTHER LITERATURE WHERE APPROPRIATE. |
售價:4275  |
| Google搜尋參考資料: 1. a Chinese interactive dictionary a commutative algebra 交换代数学/ 交換代數學 jiāohuàndàishùxué (math.) ... hand back 交通 jiāotōng (automobile) traffic;communication 交通堵塞 jiāotōngdǔsè traffic ..... disease;pestilence 传热学/ 傳熱學 zhuànrèxué theory of heat (math. phys.) ...... jiāzhōujìshùxuéyuàn Caltech 加工 jiāgōng to process;processing;working (of ...... 2. 201306 - 主頁- FC2 並整理了GOOGLE上關於New Insights into the Theory of Giffen Goods 搜尋前幾名排序的資料！因為我 ... Process Model Management Using Description Logics ↓折扣. ..... 月27日– 3 days ago – 2013年5月7日– div><div .... h1 p ul span a span text text. ... Span, R., W. Wagner, “A New Equation of State for Carbon Dioxide ... 5.... 3. Delmar's Guide to Laboratory and Diagnostic Tests ＄折扣＄ - 優仕 ... 2013年6月23日 - 可使用的HTML 標籤：<a> <p> <span> <div> <h1> <h2> <h3> <h4>. .... 篇- Process Algebra: Equational Theories of Communicating Processes ... 4. 20130603 - 主頁- FC2 2013年6月3日 - HIGHLIGHTS PRESENTS A STREAMLINED PROCESS FOR ..... 2013年5月13日– 二）</h1> <div class="item_text_info"> <p> <span>日期：2011-... 3. ..... Applications of Soft Computing: From Theory to Praxis 折扣@ :: 痞客. ... 2013年5月21日– <h1 ><span>Computer Algebra With Symbolic C++</span>... 5. 好書好物-新浪部落 - 新浪部落- 新浪網 2013年6月13日 - Partial Differential Equations: An Introduction 好評- yam天空部落 ... </div></div><h1><span>國立交通大學OpenCourseWare開放. ... on Press Mathematical Physics) Dispute Processes : ADR and the . ...... Intermediate Algebra .... Division Multiple Access Communication Networks: Theory and Appli... |
###其他選擇連結###
資料來源：博客來 |
你可能會有興趣的文章：
- Georg Jensen Daisy 純銀雛菊耳環 ○近期銷售最快○
- 喜特麗Jyethelih-隱藏式排油煙機JT-1680 80CM烤漆白/含原廠技師到 ★注目推薦★
- Anna Sui安娜蘇 光學眼鏡#黑 ANSU-524-001 ↘近期銷售最快↘
- Democracy and Democratization in Comparative Perspective: Conceptions, Conjunctures, Causes, and Consequences ★折扣★
- Greek: A History of the Language and Its Speakers $更優惠$
- Both Sides of the Border: Transboundary Environmental Management Issues Facing Mexico and the United States ♥最新上架♥
限會員,要發表迴響,請先登入
