Formal Techniques for Networked and Distributed Systems - FORTE 2005
Farn Wang
Formal Techniques for Networked and Distributed Systems - FORTE 2005 - New York Springer US 2005 - Lecture Notes in Computer Science .
978-3-540-32084-5
Computer Communication Networks; Software Engineering; Logics and Meanings of Programs; Operating Systems
Computer Science
Formal Techniques for Networked and Distributed Systems - FORTE 2005 - New York Springer US 2005 - Lecture Notes in Computer Science .
978-3-540-32084-5
Computer Communication Networks; Software Engineering; Logics and Meanings of Programs; Operating Systems
Computer Science
