Computer-Aided Reasoning: ACL2 Case Studies (Advances in Formal Methods, 4)

Sprache: Englisch

Verlag: Springer, 2000

0792378490 / 9780792378495

  • Hardcover
  • Gebraucht
Alle Details anzeigen

Anbieter: Symposia Community Bookstore INC, Hoboken, NJ, USASymposia Community Bookstore INC

Verkäufer/-in mit 4 Sternen

Verkäufer:in bei AbeBooks seit 27. Oktober 2004

Hardcover

Zustand: Gebraucht - Gut

EUR 133,67

EUR 4,46 Versand 
Versand innerhalb von USA

Anzahl: 1 verfügbar

In den Warenkorb
30 Tage kostenlose Rückgabe

Artikelbeschreibung des Verkäufers

Clean, unmarked pages, except name inside.

Bestandsnummer des Verkäufers 250819010

Titel
Computer-Aided Reasoning: ACL2 Case Studies (Advances in Formal Methods, 4)
Autor
Kaufmann, Matt [Editor]; Manolios, Panagiotis [Editor]; Moore, J Strother [Editor];
Verlag
Springer
Erscheinungsjahr
2000
Zustand
Very Good
Einband
hardcover
Sprache
Englisch
ISBN-10
0792378490
ISBN-13
9780792378495
Artikelgewicht
26 Unzen
Abmessungen
6x0x9

Symposia Community Bookstore INC

Hoboken, NJ, USA

Verkäufer/-in mit 4 Sternen

Verkäufer:in bei AbeBooks seit 27. Oktober 2004

Versandkosten innerhalb von USA

Artikel5 bis 14 Werktage3 bis 6 Werktage
Erster ArtikelEUR 4,46EUR 11,59
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

Symposia is a not for profit community building project supported mainly through book sales.

Spezialisierung

All kinds of books

Unternehmensdaten der Verkäuferin bzw. des Verkäufers

Symposia Community Bookstore INC

NJ, USA