Bild 1 von 1

Standardbild
Standardbild
Interactive Theorem Proving Ruben Gamboa (u. a.) Taschenbuch Paperback xxii 2014 - Bild 1 von 1

Interactive Theorem Proving von Ruben Gamboa (2014, Taschenbuch)

Schreiben Sie die ersteRezension.
  • buchbaer (63688)
  • 99,9% positive Bewertungen
Preis:
€ 51,90
(inkl. MwSt.)
Kostenloser Versand
Lieferung ca. Di, 14. Mai - Do, 16. Mai
Rücknahmen:
1 Monat Rückgabe. Käufer zahlt Rückversand. Für eBay Plus-Mitglieder ist der Rückversand im Inland kostenlos. Mehr erfahren.
Artikelzustand:
Neu
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: Ruben Gamboa (u. a.) | Einband: Kartoniert / Broschiert | Inhalt: xxii / 555 S. / 90 s/w Illustr. / 555 p. 90 illus. | Ausstattung / Beilage: Paperback | Auflage: 2014 | Sprache: Englisch | Seiten: 580 | Reihe: Theoretical Computer Science and General Issues | Maße: 235 x 155 x 32 mm | Erschienen: 01.08.2014 | Anbieter: Buchbär.