Ganesh Gopalakrishnan U A (3 results)
More images- Softcover
Seller: preigu, Osnabrück, Germanypreigu
Contact seller5-star sellerCondition: New
£ 43.60
£ 60.16 shippingShips from Germany to U.S.A.Quantity: 1 available
Taschenbuch. Condition: Neu. Computer Aided Verification | 23rd International Conference, CAV 2011, Snowbird, UT, USA, July 14-20, 2011, Proceedings | Ganesh Gopalakrishnan (u. a.) | Taschenbuch | xv | Englisch | 2011 | Springer | EAN 9783642221095 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.…
More images- Softcover
- Print on Demand
Seller: preigu, Osnabrück, Germanypreigu
Contact seller5-star sellerCondition: New
£ 44.48
£ 60.16 shippingShips from Germany to U.S.A.Quantity: 5 available
Taschenbuch. Condition: Neu. Theorem Proving in Higher Order Logics | 17th International Conference, TPHOLS 2004, Park City, Utah, USA, September 14-17, 2004, Proceedings | Konrad Slind (u. a.) | Taschenbuch | Einband - flex.(Paperback) | Englisch | 2004 | Springer | EAN 9783540230175 | 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- Softcover
- Print on Demand
Seller: preigu, Osnabrück, Germanypreigu
Contact seller5-star sellerCondition: New
£ 44.48
£ 60.16 shippingShips from Germany to U.S.A.Quantity: 5 available
Taschenbuch. Condition: Neu. Formal Methods in Computer-Aided Design | Second International Conference, FMCAD '98, Palo Alto, CA, USA, November 4-6, 1998, Proceedings | Ganesh Gopalakrishnan (u. a.) | Taschenbuch | x | Englisch | 1998 | Springer | EAN 9783540651918 | 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.…
