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

42,78 €

Jetzt bei Ebay:

Zum Angebot *
  • ISBN-10:
    3642228623
  • Buchtitel:
    Interactive Theorem Proving
  • Untertitel:
    Second International Conference, ITP 2011, Berg en
  • Höhe:
    2.3 cm
  • Gewicht:
    603 g
  • Länge:
    23.6 cm
  • Breite:
    15.9 cm
  • ISBN:
    9783642228629
  • Reihe:
    Lecture Notes in Computer Science, Theoretical Computer Science And General Issues
  • Produktart:
    Lehrbuch
  • Format:
    Taschenbuch
  • Erscheinungsjahr:
    2011
  • Anzahl der Seiten:
    Xi Seiten
  • Autor:
    Julien Schmaltz, Freek Wiedijk, Herman Geuvers, Marko Van Eekelen
  • Verlag:
    Springer-Verlag Gmbh, Springer Berlin
  • Publikationsname:
    Interactive Theorem Proving
  • Sprache:
    Englisch
  • Expressversand:
    Sonstige (1 Werktag) kostenlos - Lieferung zwischen 14. July 2025 und 14. July 2025 (bei heutigem Zahlungseingang)
  • Versand nach:
    Deutschland, Italien, Spanien, Österreich, Polen, Schweiz
  • Versand ausgeschlossen:
    Afrika , Asien , Mittelamerika und Karibik , Naher Osten , Ozeanien , Südostasien , Südamerika , Bermuda , Grönland , Kanada , ... und weitere