links for 2008-07-30
By bot • Jul 31st, 2008 • Category: 網路書簽-
a book on semantics on programming language
-
This paper proposes a theory of encapsulation, establishing a relationship between encapsulation and information hiding through the concept of potential structural complexity
-
This article surveys various approaches to the formal modeling and analysis of the temporal features of computer-based systems, with a level of detail that is suitable also for non-specialists.
-
some of the young generation of China
bot is
Email this author | All posts by bot