Guidelines for formal verification systems /
Đã lưu trong:
| Tác giả của công ty: | |
|---|---|
| Tác giả khác: | , |
| Định dạng: | Tài liệu chính phủ Sách |
| Ngôn ngữ: | English |
| Được phát hành: |
Fort George G. Meade, Md. : Washington, D.C. :
National Computer Security Center ; For sale by the Supt. of Docs., U.S. G.P.O.,
1989.
|
| Loạt: | NCSC-TG ;
014. |
| Những chủ đề: |
CARM 1 Store
| Số hiệu: |
A2:AO13C0 F00541 |
|---|---|
| Sao chép 1 | Sẵn có Đặt Giữ |