Guidelines for formal verification systems /

Guidelines for formal verification systems /

Spremljeno u:
Bibliografski detalji
Autor kompanije: National Computer Security Center (U.S.)
Daljnji autori: Mayer, Barbara, 1939-, Lu, Monica McGill
Format: Vladin dokument Knjiga
Jezik:English
Izdano: 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.
Serija:NCSC-TG ; 014.
Teme:
Computer programs > Verification.
Electronic data processing departments > Security measures.

CARM 1 Store

Detalji primjeraka od CARM 1 Store
Signatura: A2:AO13C0 F00541
Primjerak 1 Dostupno  Postavi narudžbu

Similar Items