Thomas Ball U A (2 results)

Author

Refine your search

  • Books (2)

  • New (2)

to

Custom price range (US$)

to

    • More images

      Language: English

      Published by Springer, 2003

      3540401172 / 9783540401179

      • Softcover
      • Print on Demand

      Seller: preigu, Osnabrück, Germanypreigu

      5-star seller
      Contact seller

      Condition: New

      US$ 58.88

      US$ 79.63 shipping 
      Ships from Germany to U.S.A.

      Quantity: 5 available

      Taschenbuch. Condition: Neu. Model Checking Software | 10th International SPIN Workshop. Portland, OR, USA, May 9-10, 2003, Proceedings | Thomas Ball (u. a.) | Taschenbuch | Einband - flex.(Paperback) | Englisch | 2003 | Springer | EAN 9783540401179 | Verantwortliche Person für die EU: Springer Nature Customer Service Center Gmb

    • More images

      Language: English

      Published by Springer, 2006

      354037406X / 9783540374060

      • Softcover
      • Print on Demand

      Seller: preigu, Osnabrück, Germanypreigu

      5-star seller
      Contact seller

      Condition: New

      US$ 112.13

      US$ 79.63 shipping 
      Ships from Germany to U.S.A.

      Quantity: 5 available

      Taschenbuch. Condition: Neu. Computer Aided Verification | 18th International Conference, CAV 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings | Thomas Ball (u. a.) | Taschenbuch | xv | Englisch | 2006 | Springer | EAN 9783540374060 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidel