Specifying systems

Specifying systems
Details
- OL Work ID
- OL3950712W
Subjects
Computer systemsSpecificationsSymbolic and mathematical LogicSystem designLogic, symbolic and mathematicalLogicLogic & foundations of mathematicsComputer architecture/engineering