KOBV-Portal

Treffer pro Seite

Treffer 1 - 1 | 1 Treffer

Alles auswählen Exportieren

Online-Ressource

Verifying Concurrent Processes Using Temporal Logic (1982)

Hailpern, B. T.

Berlin, Heidelberg :Springer Berlin Heidelberg :

zur Merkliste hinzufügen auf der Merkliste

Details

UID:

almafu_9959186245102883

Umfang: 1 online resource (VIII, 209 p.)

Ausgabe: 1st ed. 1982.

Ausgabe: Online edition Springer Lecture Notes Archive ; 041142-5

ISBN: 3-540-39034-0

Serie: Lecture Notes in Computer Science, 129

Anmerkung: Bibliographic Level Mode of Issuance: Monograph , Programming environment -- Verification -- Temporal logic -- 5. Techniques -- Network protocols -- Resource allocation -- Conclusion. , English

In: Springer eBooks

Weitere Ausg.: ISBN 3-540-11205-7

Sprache: Englisch

DOI: 10.1007/3-540-11205-7

URL: http://dx.doi.org/10.1007/3-540-11205-7

Bibliothek	Standort	Signatur	Band/Heft/Jahr	Verfügbarkeit

Andere fanden auch interessant ...

Online-Ressource

Open Access Wunsch

FU Berlin

Charité

Treffer 1 - 1 | 1 Treffer

Kooperativer Bibliotheksverbund

Berlin Brandenburg