Description:

Presents a detailed but informal introduction to state-system specification, especially as it applies to discrete-state-systems (e.g., digital hardware; computer architecture systems; computer software; distributed computer systems — computer networks and other protocol systems, and automata and other formal models related to computer systems).