Interactive Theorem Proving and Program Development

Sprache: Englisch

Verlag: Springer, 2004

3540208542 / 9783540208549

Serie: Buch 37 von 45 - Texts in Theoretical Computer Science. An EATCS

Anbieter: Majestic Books, Hounslow, Vereinigtes KönigreichMajestic Books

Verkäufer/-in mit 4 Sternen

Verkäufer:in bei ZVAB seit 19. Januar 2007

Hardcover

Zustand: Neu

EUR 143,52

EUR 7,76 Versand 
Versand von Vereinigtes Königreich nach USA

Anzahl: 1 verfügbar

In den Warenkorb
30 Tage kostenlose Rückgabe

Artikelbeschreibung des Verkäufers

pp. 504 Illus.

Bestandsnummer des Verkäufers 7586039

Titel
Interactive Theorem Proving and Program Development
Autor
Cast?ran Pierre Bertot Yves
Verlag
Springer
Erscheinungsjahr
2004
Zustand
New
Einband
Hardcover
Sprache
Englisch
ISBN-10
3540208542
ISBN-13
9783540208549
Serie
Buch 37 von 45: Texts in Theoretical Computer Science. An EATCS

Majestic Books

Hounslow, Vereinigtes Königreich

Verkäufer/-in mit 4 Sternen

Verkäufer:in bei ZVAB seit 19. Januar 2007

Versandkosten von Vereinigtes Königreich nach USA

Artikel14 bis 45 Werktage5 bis 10 Werktage
Erster ArtikelEUR 7,76EUR 11,76
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 specialise in General Interest Books from South Asian countries.

Spezialisierung

Art, Economics, Buddhism, Religion, Sociology, Painting

Unternehmensdaten der Verkäuferin bzw. des Verkäufers

BOOKS AND PERIODICALS AGENCY LTD

Unit 4 Alice way,
Hounslow, Vereinigtes Königreich TW3 3UD