作者:Johan van Benthem,Sujata Ghosh,Rineke Verbrugge
主题词:Mathematical Logic and Formal Languages,Logics and Meanings of Programs,Computer Communication Networks,Software Engineering,Information Systems Applications (incl.Internet),Algorithm Analysis and Problem Complexity