004.0151
Bowman, Howard.
Concurrency Theory : Calculi and Automata for Modelling Untimed and Timed Concurrent Systems / [electronic resource] : / by Howard Bowman, Rodolfo Gomez. .- XX, 422 p. 126 illus.. online resource.
QA75.5-76.95
ISBN: 9781846283369
10.1007/1-84628-336-1 doi
Subject Headings:
Computer science.;
Software engineering.;
Computers.;
Computer logic.;
Computer Science.;
Theory of Computation.;
Software Engineering.;
Logics and Meanings of Programs.;
Author Added Entry:
Gomez, Rodolfo.;
Copy Details:
Acc. No.: EBK344, Full Call No.: , Item type: E books , Location: ,
------------------------- --------------------- ------ --------- ------- ------- --------- --------
Bowman, Howard.
Concurrency Theory : Calculi and Automata for Modelling Untimed and Timed Concurrent Systems / [electronic resource] : / by Howard Bowman, Rodolfo Gomez. .- XX, 422 p. 126 illus.. online resource.
QA75.5-76.95
ISBN: 9781846283369
10.1007/1-84628-336-1 doi
Subject Headings:
Computer science.;
Software engineering.;
Computers.;
Computer logic.;
Computer Science.;
Theory of Computation.;
Software Engineering.;
Logics and Meanings of Programs.;
Author Added Entry:
Gomez, Rodolfo.;
Copy Details:
Acc. No.: EBK344, Full Call No.: , Item type: E books , Location: ,
------------------------- --------------------- ------ --------- ------- ------- --------- --------