by A . W . Roscoe (Author)
Since the introduction of Hoares' Communicating Sequential Process (CSP) notation, powerful new tools have transformed CSP into a practical way of describing industrial-sized problems. This book presents the basic CSP knowledge needed to utilize those tools.
Format: Hardcover
Pages: 533
Edition: 1st Edition.
Publisher: Springer
Published: 25 Oct 2010
ISBN 10: 184882257X
ISBN 13: 9781848822573
FREE UK DELIVERY 
Global shipping from £2.99
FREE UK DELIVERY
30 Day Refund Guarantee
