Showing 1 - 10 results of 10 for search 'MacEwen, Glenn H.', query time: 0.04s
Refine Results
In addition to media from the THWS, media from other Bavarian libraries are also displayed.
These are marked with the "Interlibrary loan" label and can be ordered by clicking on them.
These are marked with the "Interlibrary loan" label and can be ordered by clicking on them.
-
1
A two-level security model for a secure network by Glasgow, Janice I., MacEwen, Glenn H.
Published 1985Call Number: Loading…
Located: Loading… -
2
Introduction to computer systems using the PDP-11 and Pascal by MacEwen, Glenn H.
Published 1981Call Number: Loading…
Located: Loading… -
3
Introduction to computer systems Using the PDP-11 and Pascal by MacEwen, Glenn H.
Published 1980Call Number: Loading…
Located: Loading… -
4
Introduction to computer systems using the PDP-11 and Pascal by MacEwen, Glenn H.
Published 1980Call Number: Loading…
Located: Loading… -
5
The development and proof of a formal specification multi-level secure system by Glasgow, Janice I., MacEwen, Glenn H.
Published 1986Call Number: Loading…
Located: Loading… -
6
A computational model for distributed systems using operator nets by Glasgow, Janice I., MacEwen, Glenn H.
Published 1985Call Number: Loading…
Located: Loading… -
7
Specification prototyping by MacEwen, Glenn H.
Published 1982Call Number: Loading…
Located: Loading… -
8
A hierarchical security model for program certification systems by MacEwen, Glenn H.
Published 1981Call Number: Loading…
Located: Loading… -
9
The design for a secure system based on program analysis by MacEwen, Glenn H.
Published 1981Call Number: Loading…
Located: Loading… -
10
Abstraction hierarchies in top-down design by MacEwen, Glenn H.
Published 1981Call Number: Loading…
Located: Loading…