Topic: QA75.5-76.95
Topic: bic Book Industry Communication::U Computing & information technology::UY Computer science
Author: Hammer, Christian
Similar Items: Information flow control for java : a comprehensive approach based on path conditions in dependence Graphs
- Systematic Approaches to Advanced Information Flow Analysis – and Applications to Software Security
- Elements of dynamic and 2-SAT programming: paths, trees, and cuts
- Certified Programming with Dependent Types
- Programming Languages and Systems
- Programming Languages and Systems
- Chapter Topological Visualisation Techniques for Volume Multifield Data