A formal model of asynchronous communication and its use in mechanically verifying a biphase mark prorocol / J. Strother Moore. 1992 [Leather Bound]
Moore, J Strother,
Sold by Gyan Books Pvt. Ltd., Delhi, India
AbeBooks Seller since March 9, 2011
New - Hardcover
Condition: New
Quantity: Over 20 available
Add to basket