Partial Order Methods in Verification: Dimacs Workshop July 24-26, 1996.
Providence, Rhode Island, U.S. Amer Mathematical Society, 1997. First edition 4to. 403 pp.; Volume 29 of the Series in Discrete Mathematics and Theoretical Computer Science; light scuffing to covers Fine Hard Cover 0821805797 (Item ID: 104775)
- More: MATHEMATICS
- By This Author: Peled, Doron A.; Pratt, Vaughan R.; Holzmann, Gerard J. (editors).