Limit this search to....

  (3 items found)
Title Author / Artist Prod Type ISBN/ISBN-13
or UPC		 Pub
Date		 Price
Formal Methods for Distributed System Development: Forte / Pstv 2000 Ifip Tc6 Wg6.1 Joint International Conference on Formal Description Techniques fo Softcover Repri Edition (IFIP Advances in Information and Communication Technology)Bolognesi, TommasoPaperback1475752644 /
9781475752649		02/2013$208.99
Formal Methods for Distributed System Development: Forte / Pstv 2000 Ifip Tc6 Wg6.1 Joint International Conference on Formal Description Techniques fo 2000 Edition (International Federation for Information Processing)Bolognesi, TommasoHardcover0792379683 /
9780792379683		09/2000$208.99
Integrated Formal Methods: 9th International Conference, Ifm 2012, Pisa, Italy, June 18-21, 2012. Proceedings 2012 Edition Derrick, JohnPaperback3642307280 /
9783642307287		06/2012$52.24
  (3 items found)