Modal and Temporal Properties of Processes by Colin Stirling (English) Paperback
65,14 €
1 Processes. - 2 Modalities and Capabilities. - 3 Bisimulations. - 4 Temporal Properties. - 5 Modal Mu-Calculus. - 6 Verifying Temporal Properties. - 7 Exposing Structure. by Colin Stirling.
Jetzt bei Ebay: