Publisher's Synopsis
Foundations of Information Technology in the Era of Network and Mobile Computing is presented in two distinct but interrelated tracks:
-Algorithms, Complexity and Models of Computation;
-Logic, Semantics, Specification and Verification.