Guidelines for formal verification systems /

Guidelines for formal verification systems /

Αποθηκεύτηκε σε:
Λεπτομέρειες βιβλιογραφικής εγγραφής
Συγγραφή απο Οργανισμό/Αρχή: National Computer Security Center (U.S.)
Άλλοι συγγραφείς: Mayer, Barbara, 1939-, Lu, Monica McGill
Μορφή: Κυβερνητικό Έγγραφο Βιβλίο
Γλώσσα:English
Έκδοση: 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.
Σειρά:NCSC-TG ; 014.
Θέματα:
Computer programs > Verification.
Electronic data processing departments > Security measures.
Περιγραφή
Περιγραφή τεκμηρίου:Cover title.
Principal authors: Barbara Mayer, Monica McGill Lu.
Shipping list no.: 89-660-P.
"1 April 1989."
Φυσική περιγραφή:iv, 35 p. ; 28 cm.
Βιβλιογραφία:Bibliography: p. 35.

Παρόμοια τεκμήρια