Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency
Bakker, J. W.
Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency School/Workshop, Noordwijkerhout, The Netherlands May 30 - June 3, 1988 / edited by J. W. Bakker, W. -P. Roever, G. Rozenberg. - On-campus e-Book by Springer under Digital Library Program of Higher Education Commission (HEC) of Pakistan
9783540461470
Computer science.; Microprogramming.; Computer Communication Networks.; Operating systems (Computers).; Data structures (Computer science).; Computer Science.; Programming Techniques.; Control Structures and Microprogramming.; Processor Architectures.; Computer Communication Networks.; Operating Systems.; Data Structures.
Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency School/Workshop, Noordwijkerhout, The Netherlands May 30 - June 3, 1988 / edited by J. W. Bakker, W. -P. Roever, G. Rozenberg. - On-campus e-Book by Springer under Digital Library Program of Higher Education Commission (HEC) of Pakistan
9783540461470
Computer science.; Microprogramming.; Computer Communication Networks.; Operating systems (Computers).; Data structures (Computer science).; Computer Science.; Programming Techniques.; Control Structures and Microprogramming.; Processor Architectures.; Computer Communication Networks.; Operating Systems.; Data Structures.