A.W. Roscoe

Identifiers

Open LibraryOL2670819A

Top Subjects

Computer Programming (1)

Books by A.W. Roscoe

Total count: 4

Domains for Denotational Semantics (Prentice-Hall International Series in Computer Science)

Pearson Education Limited1992-03-31
Modelling and Analysis of Security Protocols

Addison-Wesley Professional2000-12-21
Understanding Concurrent Systems

Springer2010-12-02
Reflections on the Work of C.A.R. Hoare

Springer2014-11-22