CONCUR 2007 - Concurrency Theory: 18th International Conference, CONCUR 2007, Lisbon, Portugal, September 3-8, 2007, Proceedings (Lecture Notes in Computer Science)
暫譯: CONCUR 2007 - 並發理論：第18屆國際會議，CONCUR 2007，葡萄牙里斯本，2007年9月3日至8日，會議論文集（計算機科學講義）

***

出版商: Springer
出版日期: 2007-08-22
售價: $2,390
貴賓價: 9.5 折 $2,271
語言: 英文
頁數: 510
裝訂: Paperback
ISBN: 3540744061
ISBN-13: 9783540744061
相關分類: Computer-Science

海外代購書籍(需單獨結帳)

商品描述

This volume constitutes the refereed proceedings of the 17th International Conference on Concurrency Theory. Thirty full papers are presented along with three important invited papers. Each of these papers was carefully reviewed by the editors. Topics include model checking, process calculi, minimization and equivalence checking, types, semantics, probability, bisimulation and simulation, real time, and formal languages.