*Processes * Modalities and Capabilities * Bisimulations * Temporal Properties * Modal Mu-Calculus * Verifying Temporal Properties * Exposing Structure * References
Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Zustand: New. In. Artikel-Nr. ria9781475735512_new
Anzahl: Mehr als 20 verfügbar