Format:
VIII, 208 S
,
graph. Darst
ISBN:
3540112057
,
0387112057
Series Statement:
Lecture notes in computer science 129
Note:
Literaturverz. S. 203 - 208
Additional Edition:
Online-Ausg. Hailpern, Brent T. Verifying concurrent processes using temporal logic Berlin [u.a.] : Springer, 1982 ISBN 9783540390343
Additional Edition:
Erscheint auch als Online-Ausgabe Hailpern, B. T. Verifying Concurrent Processes Using Temporal Logic Berlin, Heidelberg : Springer Berlin Heidelberg, 1982 ISBN 9783540390343
Language:
English
Subjects:
Computer Science
Keywords:
Parallelverarbeitung
;
Programmverifikation
;
Programmierung
;
Verifikation
