Concurrent And Real-Time Systems: The CSP Approach (Worldwide Series in Computer Science)
by Steve Schneider
ISBN 13: 9780471623731
Format: Paperback (528 pages) Publisher: John Wiley & Sons Published: 15 Sep 1999
Save for later
Formal Aspects in Security and Trust: Third International Workshop, FAST 2005, Newcastle upon Tyne, UK, July 18-19, 2005, Revised Selected Papers ... Computer Science / Security and Cryptology)
by
ISBN 13: 9783540326281
Format: Paperback (269 pages) Publisher: Springer Published: 23 Mar 2006
Formal Aspects in Security and Trust: Fourth International Workshop, FAST 2006, Hamilton, Ontario, Canda, August 26-27, 2006, Revised Selected Papers ... Computer Science / Security and Cryptology)
ISBN 13: 9783540752264
Format: Paperback (285 pages) Publisher: Springer Published: 17 Sep 2007