|
|
|
books
| book details |
Partial Order Methods in Verification
Edited by Doron Peled, Edited by Vaughan R. Pratt, Edited by Gerard J. Holzmann
|
This book is currently unavailable. Enquire to check if we can source a used copy
|
| book description |
This book presents surveys on the theory and practice of modeling, specifying, and validating concurrent systems. It contains surveys of techniques used in tools developed for automatic validation of systems. Other papers present recent developments in concurrency theory, logics of programs, model-checking, automata and formal languages theory. The volume contains the proceedings from the workshop, Partial Order Methods in Verification, which was held in Princeton, NJ, in July 1996. The workshop focused on both the practical and the theoretical aspects of using partial order models, including automata and formal languages, category theory, concurrency theory, logic, process algebra, program semantics, specification and verification, topology, and trace theory. The book also includes a lively e-mail debate that took place about the importance of the partial order dichotomy in modeling concurrency.
| product details |
Normally shipped |
Publisher | American Mathematical Society
Published date | 30 Apr 1997
Language |
Format | Hardback
Pages | 403
Dimensions | 0 x 0 x 0mm (L x W x H)
Weight | 964g
ISBN | 978-0-8218-0579-4
Readership Age |
BISAC | computers / machine theory
| other options |
|
|
|
To view the items in your trolley please sign in.
| sign in |
|
|
|
| specials |
|
|
An epic love story with the pulse of a thriller that asks: what would you risk for a second chance at first love?
|
|
|
Mason Coile
Paperback / softback
224 pages
was: R 520.95
now: R 468.95
|
A terrifying locked-room mystery set in a remote outpost on Mars.
|
|
|
|
