Title: Industrial applications of formal methods to model, design, and analyze computer systems
First published: 1995
Subjects: System analysis, System design, Systems Analysis (Computer Science), Systems Engineering, Computers - Languages / Programming, Computer Books: Operating Systems, Programming - Systems Analysis & Design, Programming Languages - General
LC classification: QA76.9.S88 C735 1995