Verifying Concurrent Processes Using Temporal Logic

Paperback(1982)

$54.99

SHIP THIS ITEM

In stock. Ships in 1-2 days.
PICK UP IN STORE

Your local store may have stock of this item.

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