Thomas Ball U A (2 results)

Author: 
Refine with Advanced Search

Refine your search

  • Books (2)

  • New (2)
Learn more

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.24

    US$ 78.77 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 GmbH, Europaplatz 3, 69115 Heidelberg, productsafety[at]springernature[dot]com | Anbieter: preigu Print on Demand.…

  • 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$ 110.91

    US$ 78.77 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 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu Print on Demand. …