Interactive Theorem Proving : 5th International Conference, ITP 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-1

Sprache: Englisch

Verlag: Springer 2014-08, 2014

3319089692 / 9783319089690

Anbieter: Chiron Media, Wallingford, Vereinigtes KönigreichChiron Media

Verkäufer/-in mit 5 Sternen

Verkäufer:in bei AbeBooks seit 2. August 2010

Softcover

Zustand: Neu

EUR 58,45

EUR 18,30 Versand 
Versand von Vereinigtes Königreich nach USA

Anzahl: 10 verfügbar

In den Warenkorb
30 Tage kostenlose Rückgabe

Bestandsnummer des Verkäufers 6666-IUK-9783319089690

Titel
Interactive Theorem Proving : 5th International Conference, ITP 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-1
Autor
Klein, Gerwin
Verlag
Springer 2014-08
Erscheinungsjahr
2014
Zustand
New
Einband
PF
Sprache
Englisch
ISBN-10
3319089692
ISBN-13
9783319089690

Chiron Media

Wallingford, Vereinigtes Königreich

Verkäufer/-in mit 5 Sternen

Verkäufer:in bei AbeBooks seit 2. August 2010

Versandkosten von Vereinigtes Königreich nach USA

Artikel14 bis 21 Werktage14 bis 21 Werktage
Erster ArtikelEUR 18,30EUR 18,30
Die Versandzeiten werden von den Verkäuferinnen und Verkäufern festgelegt. Sie variieren je nach Versanddienstleister und Standort. Sendungen, die den Zoll passieren, können Verzögerungen unterliegen. Eventuell anfallende Abgaben oder Gebühren sind von der Käuferin bzw. dem Käufer zu tragen. Die Verkäuferin bzw. der Verkäufer kann Sie bezüglich zusätzlicher Versandkosten kontaktieren, um einen möglichen Anstieg der Versandkosten für Ihre Artikel auszugleichen.

Zahlungsarten

  • Visa
  • Mastercard
  • American Express
  • Carte Bleue
  • Apple Pay
  • Google Pay

Unternehmensdaten der Verkäuferin bzw. des Verkäufers

WRAP Ltd

Unit 4, 119 Loverock Rd
Reading, Vereinigtes Königreich RG30 1DZ