Data Refinement: Model-Oriented Proof Methods and their Comparison (Cambridge Tracts in Theoretical Computer Science, Series Number 47)

Sprache: Englisch

Verlag: Cambridge University Press, 1999

0521641705 / 9780521641708

Serie: Buch 29 von 40 - Cambridge Tracts in Theoretical Computer Science

Anbieter: BennettBooksLtd, Los Angeles, CA, USABennettBooksLtd

Verkäufer/-in mit 5 Sternen

Verkäufer:in bei AbeBooks seit 17. April 2008

Hardcover

Zustand: Neu

EUR 135,53

EUR 6,19 Versand 
Versand innerhalb von USA

Anzahl: 1 verfügbar

In den Warenkorb
30 Tage kostenlose Rückgabe

Artikelbeschreibung des Verkäufers

In shrink wrap. Looks like an interesting title.

Bestandsnummer des Verkäufers Q-0521641705

Titel
Data Refinement: Model-Oriented Proof Methods and their Comparison (Cambridge Tracts in Theoretical Computer Science, Series Number 47)
Autor
de Roever, Willem-Paul; Engelhardt, Kai
Verlag
Cambridge University Press
Erscheinungsjahr
1999
Zustand
New
Einband
hardcover
Sprache
Englisch
ISBN-10
0521641705
ISBN-13
9780521641708
Artikelgewicht
29 Unzen
Abmessungen
6x1x9
Serie
Buch 29 von 40: Cambridge Tracts in Theoretical Computer Science

BennettBooksLtd

Los Angeles, CA, USA

Verkäufer/-in mit 5 Sternen

Verkäufer:in bei AbeBooks seit 17. April 2008

Versandkosten innerhalb von USA

Artikel7 bis 30 Werktage3 bis 14 Werktage
Erster ArtikelEUR 6,19EUR 8,86
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