Bowman, Howard.
Concurrency Theory Calculi and Automata for Modelling Untimed and Timed Concurrent Systems / [electronic resource] : by Howard Bowman, Rodolfo Gomez. - London : Springer London, 2006. - digital.
9781846283369
10.1007/1-84628-336-1 doi
Computer science.
Software engineering.
Logic design.
Computer Science.
Software Engineering.
Logics and Meanings of Programs.
QA76.758
005.1
Concurrency Theory Calculi and Automata for Modelling Untimed and Timed Concurrent Systems / [electronic resource] : by Howard Bowman, Rodolfo Gomez. - London : Springer London, 2006. - digital.
9781846283369
10.1007/1-84628-336-1 doi
Computer science.
Software engineering.
Logic design.
Computer Science.
Software Engineering.
Logics and Meanings of Programs.
QA76.758
005.1