Program Proofs

Sprache: Englisch

Verlag: MIT Press, 2023

026254623X / 9780262546232

Anbieter: moluna, Greven, Deutschlandmoluna

Verkäufer/-in mit 5 Sternen

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

Softcover

Zustand: Neu

EUR 78,66

EUR 48,99 Versand 
Versand von Deutschland nach USA

Anzahl: 2 verfügbar

In den Warenkorb
30 Tage kostenlose Rückgabe

Artikelbeschreibung des Verkäufers

K. Rustan M. Leino is a Senior Principal Applied Scientist in the Automated Reasoning Group at Amazon Web Services, an ACM Fellow, an IFIP Fellow, and a recipient of the CAV Award.This comprehensive and highly readable textbook teaches how to .

Bestandsnummer des Verkäufers 744982158

Titel
Program Proofs
Autor
K. Rustan M. Leino
Verlag
MIT Press
Erscheinungsjahr
2023
Zustand
New
Einband
Kartoniert / Broschiert
Sprache
Englisch
ISBN-10
026254623X
ISBN-13
9780262546232
Illustrator
Leino, Kaleb

moluna

Greven, Deutschland

Verkäufer/-in mit 5 Sternen

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

Versandkosten von Deutschland nach USA

Artikel13 bis 40 Werktage13 bis 40 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