Partial Order Methods in Verification: Dimacs Workshop July 24-26, 1996 (DIMACS SERIES IN DISCRETE MATHEMATICS AND THEORETICAL COMPUTER SCIENCE)

By Vaughan R. Pratt

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... This description may be from another edition of this product.

• Format: Hardcover
• Language: English
• ISBN: 0821805797
• ISBN13: 9780821805794
• Release Date: January 1997
• Publisher: Amer Mathematical Society
• Length: 403 Pages
• Weight: 2.10 lbs.
• Dimensions: 10.5" x 1.0" x 7.5"