Melham U A (4 results)
More images- Softcover
- Print on Demand
Seller: preigu, Osnabrück, Germanypreigu
Contact seller5-star sellerCondition: New
£ 44.27
£ 59.87 shippingShips from Germany to U.S.A.Quantity: 5 available
Taschenbuch. Condition: Neu. Correct Hardware Design and Verification Methods | 11th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2001 Livingston, Scotland, UK, September 4-7, 2001 Proceedings | Tiziana Margaria (u. a.) | Taschenbuch | Einband - flex.(Paperback) | Englisch | 2001 | Springer | EAN 9783540425410 | Ver…antwortliche 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.27
£ 59.87 shippingShips from Germany to U.S.A.Quantity: 5 available
Taschenbuch. Condition: Neu. Theorem Proving in Higher Order Logics | 18th International Conference, TPHOLs 2005, Oxford, UK, August 22-25, 2005, Proceedings | Joe Hurd (u. a.) | Taschenbuch | x | Englisch | 2005 | Springer | EAN 9783540283720 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 He…idelberg, 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.27
£ 59.87 shippingShips from Germany to U.S.A.Quantity: 5 available
Taschenbuch. Condition: Neu. Higher Order Logic Theorem Proving and Its Applications | 7th International Workshop, Valletta, Malta, September 19-22, 1994. Proceedings | Thomas F. Melham (u. a.) | Taschenbuch | xi | Englisch | 1994 | Springer | EAN 9783540584506 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergarte…nstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu Print on Demand.
More imagesLanguage: English
Published by Cambridge University Press, 2012
Series: Book 30 of 40 - Cambridge Tracts in Theoretical Computer Science
- Hardcover
- Print on Demand
Seller: preigu, Osnabrück, Germanypreigu
Contact seller5-star sellerCondition: New
£ 135.39
£ 59.87 shippingShips from Germany to U.S.A.Quantity: 5 available
Buch. Condition: Neu. Higher Order Logic and Hardware Verification | T. F. Melham (u. a.) | Buch | Gebunden | Englisch | 2012 | Cambridge University Press | EAN 9780521417181 | Verantwortliche Person für die EU: Libri GmbH, Europaallee 1, 36244 Bad Hersfeld, gpsr[at]libri[dot]de | Anbieter: preigu Print on Demand.
