Formal Techniques for Networked and Distributed Systems - FORTE 2007
Derrick, John.
Formal Techniques for Networked and Distributed Systems - FORTE 2007 27th IFIP WG 6.1 International Conference, Tallinn, Estonia, June 27-29, 2007. Proceedings / edited by John Derrick, Jüri Vain. - On-campus e-Book by Springer under Digital Library Program of Higher Education Commission (HEC) of Pakistan
9783540731962
Computer science.; Computer Communication Networks.; Software engineering.; Operating systems (Computers).; Logic design.; Computer Science.; Computer Communication Networks.; Software Engineering.; Logics and Meanings of Programs.; Operating Systems.
Formal Techniques for Networked and Distributed Systems - FORTE 2007 27th IFIP WG 6.1 International Conference, Tallinn, Estonia, June 27-29, 2007. Proceedings / edited by John Derrick, Jüri Vain. - On-campus e-Book by Springer under Digital Library Program of Higher Education Commission (HEC) of Pakistan
9783540731962
Computer science.; Computer Communication Networks.; Software engineering.; Operating systems (Computers).; Logic design.; Computer Science.; Computer Communication Networks.; Software Engineering.; Logics and Meanings of Programs.; Operating Systems.