+612 9045 4394
 
CHECKOUT
Verifying Concurrent Processes Using Temporal Logic : Lecture Notes in Computer Science - B. T. Hailpern

Verifying Concurrent Processes Using Temporal Logic

Lecture Notes in Computer Science

Paperback

Published: 1st March 1982
Ships: 5 to 9 business days
5 to 9 business days
$124.95
or 4 easy payments of $31.24 with Learn more
Programming environment.- Verification.- Temporal logic.- 5. Techniques.- Network protocols.- Resource allocation.- Conclusion.

ISBN: 9783540112051
ISBN-10: 3540112057
Series: Lecture Notes in Computer Science
Audience: General
Format: Paperback
Language: English
Number Of Pages: 209
Published: 1st March 1982
Publisher: SPRINGER VERLAG GMBH
Country of Publication: DE
Dimensions (cm): 23.39 x 15.6  x 1.17
Weight (kg): 0.31