Steve Schneider is the author of Concurrent and Real-time Systems: The CSP Approach, published by Wiley.
Computer Security – ESORICS 2020
4 contributors - Paperback
£44.99
Integrated Formal Methods
2 contributors - Paperback
Computer Security – ESORICS 2019
3 contributors - Paperback
Concurrent and Real-time Systems
Steve Schneider - Paperback
£58.95
Applied Cryptography and Network Security
Information Security
£69.99