h - Suzuki, Kenji; Higashino, Teruo; Yasumoto, Keiichi; El-Fakih, Khaled; SpringerLink (Online service) (Berlin, Heidelberg : Springer Berlin Heidelberg, 2008)
Keywords: 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