Computer-aided Verification

Sprache: Englisch

Verlag: American Mathematical Society, 1991

0821865943 / 9780821865941

Anbieter: moluna, Greven, Deutschlandmoluna

Verkäufer/-in mit 5 Sternen

Verkäufer:in bei ZVAB seit 9. Juli 2020

Hardcover

Zustand: Neu

EUR 144,02

EUR 48,99 Versand 
Versand von Deutschland nach USA

Anzahl: 1 verfügbar

In den Warenkorb
30 Tage kostenlose Rückgabe

Artikelbeschreibung des Verkäufers

Contains the proceedings of the second workshop on Computer-Aided Verification, held at DIMACS at Rutgers University in June 1990. This work focuses on the problem of making formal verification feasible for various models of computation. It emphasizes on mo.

Bestandsnummer des Verkäufers 2298430708

Titel
Computer-aided Verification
Autor
American Mathem
Verlag
American Mathematical Society
Erscheinungsjahr
1991
Zustand
New
Einband
Hardcover
Sprache
Englisch
ISBN-10
0821865943
ISBN-13
9780821865941

moluna

Greven, Deutschland

Verkäufer/-in mit 5 Sternen

Verkäufer:in bei ZVAB seit 9. Juli 2020

Versandkosten von Deutschland nach USA

Artikel26 bis 60 Werktage26 bis 60 Werktage
Erster ArtikelEUR 48,99EUR 48,99
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
  • Banküberweisung
  • PayPal
  • Vorauskasse

Shopbeschreibung

Online Handel nur mit Neubüchern

Unternehmensdaten der Verkäuferin bzw. des Verkäufers

Moluna GmbH

Engberdingdamm 27
Greven, Deutschland 48268