Title: Proof and system-reliability
First published: 2002
Subjects: Congresses, Computer systems, Reliability, Proof theory, Mathematics, Information theory, Symbolic and mathematical Logic, Logic, Electronic data processing, Reliability (engineering), Logic, symbolic and mathematical
LC classification: QA76.76.R44 N38 2002