Formal Methods for Distributed System Development: FORTE / PSTV 2000 IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques . in Information and Communication Technology)

Bolognesi, Tommaso and Diego Latella:

ISBN 10: 0792379683 ISBN 13: 9780792379683
Published by Springer 30.09.2000., 2000
Language: English
Condition: Used - Fine Hardcover

Sold by NEPO UG, Rüsselsheim am Main, Germany

AbeBooks Seller since November 15, 2018

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

View this seller's items


Used - Hardcover

Condition: Used - Fine

Price: US$ 180.82 Convert Currency
US$ 28.09 shipping from Germany to U.S.A. Destination, rates & speeds

Quantity: 1 available

Add to basket