Concise Guide to Software Verification

Sprache: Englisch

Verlag: Springer, Berlin|Springer International Publishing|Springer, 2023

3031301668 / 9783031301667

Serie: Buch 79 von 83 - Texts in Computer Science

Anbieter: moluna, Greven, Deutschlandmoluna

Verkäufer/-in mit 5 Sternen

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

Hardcover

Zustand: Neu

EUR 77,17

EUR 48,99 Versand 
Versand von Deutschland nach USA

Anzahl: Mehr als 20 verfügbar

In den Warenkorb
30 Tage kostenlose Rückgabe

Artikelbeschreibung des Verkäufers

Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. This textbook overviews the whole spectrum of formal methods and techniques that are aimed at verifying correctness of software, and how they can be used in practice. It focuses on techniques whereby the user has some control over the properties that are.

Bestandsnummer des Verkäufers 829430260

Titel
Concise Guide to Software Verification
Autor
Huisman, Marieke|Wijs, Anton
Verlag
Springer, Berlin|Springer International Publishing|Springer
Erscheinungsjahr
2023
Zustand
New
Einband
Hardcover
Sprache
Englisch
ISBN-10
3031301668
ISBN-13
9783031301667
Serie
Buch 79 von 83: Texts in Computer Science

moluna

Greven, Deutschland

Verkäufer/-in mit 5 Sternen

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

Versandkosten von Deutschland nach USA

Artikel16 bis 45 Werktage16 bis 45 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