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 9 March 2011
New - Hardcover
Condition: New
Seller accepted payment methods
- Direct Debit (Personally Authorized Payment)
- Check
- Money Order
- PayPal
- Invoice
- Bank Draft
- Bank/Wire Transfer
Quantity: Over 20 available
Add to basket