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

© For any Suggestions or Query, please contact the library staff @ librarian@pes.edu or Phone: +9180 2672 1983/ 2108.