Foundations of State-System Specification -- Volume 1 : Introduction
Paperback, 374 pages
This item has not been rated yet
Ships in 3–5 business days
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).