2 treff

Economics of Information Security and Privacy
Tyler Moore, David J. Pym, Christos Ioann...
Bok Engelsk 2010
Reductive logic and proof-search : proof theory, semantics, and control
David J. Pym and Eike Ritter
Bok Engelsk 2004