Online-Ressource
Berlin, Heidelberg : Springer Berlin Heidelberg
Umfang:
Online-Ressource
ISBN:
9783540390343
Serie:
Lecture Notes in Computer Science 129
Weitere Ausg.:
ISBN 9783540112051
Weitere Ausg.:
Buchausg. u.d.T. Hailpern, Brent T. Verifying concurrent processes using temporal logic Berlin : Springer, 1982 ISBN 3540112057
Weitere Ausg.:
ISBN 0387112057
Sprache:
Englisch
Fachgebiete:
Informatik
Schlagwort(e):
Parallelverarbeitung
;
Programmverifikation
;
Programmierung
;
Verifikation
DOI:
10.1007/3-540-11205-7
Bibliothek |
Standort |
Signatur |
Band/Heft/Jahr |
Verfügbarkeit |