Verifying Concurrent Processes Using Temporal Logic

Paperback(1982)

$54.99

SHIP THIS ITEM

Qualifies for Free Shipping
PICK UP IN STORE
Check Availability at Nearby Stores

Available within 2 business hours

ISBN-13:	9783540112051
Publisher:	Springer Berlin Heidelberg
Publication date:	03/31/1982
Series:	Lecture Notes in Computer Science , #129
Edition description:	1982
Pages:	209
Product dimensions:	6.00(w) x 9.20(h) x 0.70(d)

Programming environment.- Verification.- Temporal logic.- 5. Techniques.- Network prools.- Resource allocation.- Conclusion.

From the B&N Reads Blog

Page 1 of