Principles of Concurrent and Distributed Programming

ISBN: 9780321312839

出版社: Addison Wesley

出版年: 2006-03-06

页数: 384

定价: USD 117.60

装帧: Paperback

内容简介

The book focuses on algorithmic principles rather than language syntax with an emphasis on the use of the Spin model checker for modeling concurrent systems and verifying program correctness and includes and explains the implementation of concurrency in the Java and Ada languages. It also helps to facilitate lab work with software tools for learning concurrent and distributed programming. --- Amazon.com