The temporal logic of reactive and concurrent systems:
Gespeichert in:
Bibliographische Detailangaben
Hauptverfasser: Manna, Zohar 1939-2018 (VerfasserIn), Pnueli, Amir (VerfasserIn)
Format: Buch
Sprache:English
Veröffentlicht: New York [u.a.] Springer
Schlagworte:
Beschreibung:Ab Bd. 2 u.d.T.: Manna, Zohar: Temporal verification of reactive systems

Es ist kein Print-Exemplar vorhanden.

Fernleihe Bestellen Achtung: Nicht im THWS-Bestand!