A comprehensive, modern and technically precise exposition of the theory and main applications of temporal logics in computer science. číst celé