Formal Techniques in Real-Time and Fault-Tolerant Systems Proceedings of a Symposium, Warwick, UK, September 22-23, 1988 (Lecture Notes in Computer Science) by Mathai Joseph Published in October 17, 1988, Springer Formal Techniques in Real-Time and Fault-Tolerant Systems Mathai Joseph Change Cover Language: English Edition: 1 edition Format: Paperback Dimensions: 9.2 x 6.1 x 0.5 inches Weight: 12.2 ounces ISBN 10: 3540503021 ISBN 13: 9783540503026 Subject: Data Processing - General General Operating Systems - General Computers / Data Processing Computers / Programming / Systems Analysis & Design Computers : Operating Systems - General Medical : General Computers - General Information
description edit First sentence: To be proficient in the design and verification of high integrity computer systems needs a catholic knowledge of the disciplines outlined in this section. Table of contents edit No table of contents available Add it!
No table of contents available Add it!