作者：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.
作者：Brooks, Frederick Phillips出版社：Addison-Wesley 出版日期：1995年04月01日 語言：英文 ISBN：0201835959裝訂：平裝內容簡介top Few books on software project management have been as influential and timeless as The Myt ...
作者：Friedman, Daniel P./ Felleisen, Matthias/ Bibby, Duane (ILT)出版社：Mit Pr 出版日期：1995年12月21日 語言：英文 ISBN：0262560992裝訂：平裝內容簡介top drawings by Duane Bibby foreword by Gerald J. Sussman The not ...
作者：Mayo, William E./ Cwiakala, Martin出版社：McGraw-Hill 出版日期：1994年12月01日 語言：英文 ISBN：0070411557裝訂：平裝內容簡介topIf you want fast mastery of Fortran 77 and top grades, this powerful study tool is the ...
作者：Wang, Wally出版社：John Wiley & Sons Inc 出版日期：1998年09月04日 語言：英文 ISBN：0764503707裝訂：平裝內容簡介topA jargon-free guidebook for non-programmers and first-time programmers explains the basics of this...
留言列表
