<--- Back to Details
| First Page | Document Content | |
|---|---|---|
 Date: 2016-10-10 16:16:25Computability theory Models of computation Theoretical computer science Software engineering Scope Lambda calculus Computing |
Add to Reading List |
| First Page | Document Content | |
|---|---|---|
Date: 2016-10-10 16:16:25Computability theory Models of computation Theoretical computer science Software engineering Scope Lambda calculus Computing |
Add to Reading List |
Extensible Access Control with Authorization Contracts Scott Moore Christos Dimoulas Robert Bruce Findler