Partial Order Methods in Verification: Dimacs Workshop July 24-26, 1996.

Peled, Doron A.; Pratt, Vaughan R.; Holzmann, Gerard J. (editors).

to Cart
Price: $50.00

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)

Topic Notification

Cellar Stories Facebook

Site by Bibliopolis