Types for Proofs and Programs: International Workshop, TYPES '98, Kloster Irsee, Germany, March 27-31, 1998, Selected Papers (Lecture Notes in Computer Science, 1657)

Sprache: Englisch

Verlag: Springer, 1999

3540665374 / 9783540665373

Anbieter: California Books, Miami, FL, USACalifornia Books

Verkäufer/-in mit 5 Sternen

AbeBooks-Verkäufer/-in seit 27. Oktober 2023

Softcover

Zustand: Neu

EUR 61,60

 Versand gratis 
Versand innerhalb von USA

Anzahl: Mehr als 20 verfügbar

In den Warenkorb
30 Tage kostenlose Rückgabe

Bestandsnummer des Verkäufers I-9783540665373

Titel
Types for Proofs and Programs: International Workshop, TYPES '98, Kloster Irsee, Germany, March 27-31, 1998, Selected Papers (Lecture Notes in Computer Science, 1657)
Verlag
Springer
Erscheinungsjahr
1999
Zustand
New
Einband
Softcover
Sprache
Englisch
ISBN-10
3540665374
ISBN-13
9783540665373

California Books

Miami, FL, USA

Verkäufer/-in mit 5 Sternen

AbeBooks-Verkäufer/-in seit 27. Oktober 2023

Versandkosten innerhalb von USA

Artikel3 bis 7 Werktage2 bis 5 Werktage
Erster ArtikelEUR 0,00EUR 10,55
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

Shopbeschreibung

We have 20 years experience selling books worldwide! Friendly customer support. Your satisfaction guaranteed!

Spezialisierung

All authorized categories

Unternehmensdaten der Verkäuferin bzw. des Verkäufers

Miramar International Services LLC

FL, USA