Items related to Partial Order Methods in Verification: Dimacs Workshop...
Partial Order Methods in Verification: Dimacs Workshop July 24-26, 1996 (DIMACS SERIES IN DISCRETE MATHEMATICS AND THEORETICAL COMPUTER SCIENCE) - Hardcover
Synopsis
The proceedings from the July 1996 workshop surveying the theory and practice of modeling, specifying, and validating concurrent systems. The 18 presentations, developed by researchers from related but diverse fields, focus on practical and theoretical topics in using partial order models, automata and formal languages, category theory, concurrency theory, logic, process algebra, program semantics, specification and verification, topology, and trace theory. The volume also features an e-mail debate regarding the importance of the partial order dichotomy in modeling concurrency. Includes illustrations. Lacks an index. Annotation c. by Book News, Inc., Portland, Or.
"synopsis" may belong to another edition of this title.
Search results for Partial Order Methods in Verification: Dimacs Workshop...
Seller Image
Partial Order Methods in Verification
Published by
American Mathematical Society, US, 1997
ISBN 10: 0821805797
ISBN 13: 9780821805794
New
Hardcover
Seller: Rarewaves.com USA, London, LONDO, United Kingdom
Seller rating 5 out of 5 stars
Hardback. Condition: New. 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. Seller Inventory # LU-9780821805794
Buy New
US$ 165.85
Free Shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: 1 available
Stock Image
Partial Order Methods in Verification: Dimacs Workshop July 24-26, 1996
Published by
Amer Mathematical Society, 1997
ISBN 10: 0821805797
ISBN 13: 9780821805794
New
Hardcover
Seller: Revaluation Books, Exeter, United Kingdom
Seller rating 5 out of 5 stars
Hardcover. Condition: Brand New. 403 pages. 10.50x7.50x1.00 inches. In Stock. Seller Inventory # __0821805797
Buy New
US$ 148.97
US$ 16.94 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: 2 available
Stock Image
Partial Order Methods in Verification: Dimacs Workshop July 24-26, 1996
Published by
American Mathematical Society, 1997
ISBN 10: 0821805797
ISBN 13: 9780821805794
New
Hardcover
Seller: Kennys Bookstore, Olney, MD, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. Presents surveys on the theory and practice of modeling, specifying, and validating concurrent systems. This book contains surveys of techniques used in tools developed for automatic validation of systems. It includes an e-mail debate that took place about the importance of the partial order dichotomy in modeling concurrency. Editor(s): Peled, Doron; Pratt, Vaughan R.; Holzmann, Gerard J. Series: Series in Discrete Mathematics & Theoretical Computer Science. Num Pages: 403 pages. BIC Classification: PBW; UYA; UYFP. Category: (P) Professional & Vocational. Dimension: 230. Weight in Grams: 966. . 1997. hardcover. . . . . Books ship from the US and Ireland. Seller Inventory # V9780821805794
Stock Image
Partial Order Methods in Verification: Dimacs Workshop July 24-26, 1996
Published by
American Mathematical Society, 1997
ISBN 10: 0821805797
ISBN 13: 9780821805794
New
Hardcover
Seller: Kennys Bookshop and Art Galleries Ltd., Galway, GY, Ireland
Seller rating 5 out of 5 stars
Condition: New. Presents surveys on the theory and practice of modeling, specifying, and validating concurrent systems. This book contains surveys of techniques used in tools developed for automatic validation of systems. It includes an e-mail debate that took place about the importance of the partial order dichotomy in modeling concurrency. Editor(s): Peled, Doron; Pratt, Vaughan R.; Holzmann, Gerard J. Series: Series in Discrete Mathematics & Theoretical Computer Science. Num Pages: 403 pages. BIC Classification: PBW; UYA; UYFP. Category: (P) Professional & Vocational. Dimension: 230. Weight in Grams: 966. . 1997. hardcover. . . . . Seller Inventory # V9780821805794
Buy New
US$ 173.40
US$ 11.00 shipping
Ships from Ireland to U.S.A.
Ships from Ireland to U.S.A.
Quantity: 1 available
Seller Image
Partial Order Methods in Verification
Published by
American Mathematical Society, US, 1997
ISBN 10: 0821805797
ISBN 13: 9780821805794
New
Hardcover
Seller: Rarewaves.com UK, London, United Kingdom
Seller rating 5 out of 5 stars
Hardback. Condition: New. 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. Seller Inventory # LU-9780821805794
Buy New
US$ 158.59
US$ 88.08 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: 1 available