Ganesh Gopalakrishnan U A (3 results)
- More images
- Softcover
Seller: preigu, Osnabrück, Germanypreigu
Contact seller5-star sellerCondition: New
£ 43.33
£ 59.78 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, 691…21 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.21
£ 59.78 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, Tierg…artenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu Print on Demand.
- More images
- Softcover
- Print on Demand
Seller: preigu, Osnabrück, Germanypreigu
Contact seller5-star sellerCondition: New
£ 44.21
£ 59.78 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: Springe…r Nature Customer Service Center GmbH, Europaplatz 3, 69115 Heidelberg, productsafety[at]springernature[dot]com | Anbieter: preigu Print on Demand.
