Formal Description Techniques and Protocol Specification, Testing and Verification

Togashi, Atsushi; Mizuno, Tadanori; Shiratori, Norio; Higashino, Teruo

ISBN 10: 0412820609 ISBN 13: 9780412820601
Published by Chapman and Hall, 1997
Language: English
Condition: New Hardcover

Sold by Kennys Bookshop and Art Galleries Ltd., Galway, GY, Ireland

AbeBooks Seller since February 27, 2001

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

View this seller's items


New - Hardcover

Condition: New

Price:
US$ 313.95
US$ 12.22 shipping
Ships from Ireland to U.S.A.

Quantity: 15 available

Add to basket