👤

Steve Schneider

10 books

Books by Steve Schneider

Computer Security - ESORICS 20
Computer Security - ESORICS 2020
2020
Computer Security – ESORICS 2019
Computer Security – ESORICS 2019
2019
Designing Fear
Designing Fear
2008
Refocusing crime prevention
Refocusing crime prevention
2007
ZB 2005 : Formal Specification
ZB 2005 : Formal Specification and Development in Z and B
2005
Formal aspects of security
Formal aspects of security
2004
The B-method (Cornerstones of Computing)
The B-method (Cornerstones of Computing)
2001
Concurrent and real-time systems
Concurrent and real-time systems
1999
La théorie et la pratique de l
La théorie et la pratique de la prévention du crime par l'aménagement du milieu
1996
The theory and practice of cri
The theory and practice of crime prevention through environmental design
1996