Die Inhalte dieser Webseite enthalten Affiliate-Links, für die wir möglicherweise eine Vergütung erhalten.
  • Bild 1

Interactive Theorem Proving: Second International Conference, ITP 2011, Berg en

63,90 €

Jetzt bei Ebay:

Zum Angebot *
  • ISBN-13:
    9783642228629
  • Book Title:
    Interactive Theorem Proving
  • ISBN:
    9783642228629
  • None:
    International Standard : tracked-no signature (7 to 15 business days) 23,57 EUR - Lieferung zwischen 30. May 2025 und 10. June 2025 (bei heutigem Zahlungseingang)
  • Versand nach:
    Weltweit
  • Versand ausgeschlossen:
    Kambodscha , Costa Rica , Dominica , Dominikanische Republik , El Salvador , Guadeloupe , Guatemala , Haiti , Honduras , Jamaika , ... und weitere