Interactive Theorem Proving (2014, Taschenbuch)

Brandneu: niedrigster preis

EUR 76,95

Kostenloser Versand
  • Lieferung bis spätestens Sa, 21. Jul - Mo, 23. Jul aus Osnabrück, Deutschland
Titel: Interactive Theorem Proving | Zusatz: 5th International Conference, ITP 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014, Proceedings | Medium: Taschenbuch | Redaktion: Gerwin Klein | Einband: Kartoniert / Broschiert | Beilage: Book | Auflage: 2014 | Sprache: Englisch | Seiten: 580 | Maße: 236 x 154 x 35 mm | Erschienen: 01.08.2014 | Anbieter: preigu.
Verkauft vonpreiswert-einfach-gut (12347)100,0% positive BewertungenVerkäufer kontaktieren
Angemeldet als gewerblicher Verkäufer