Systems and Software Verification

Sprache: Englisch

Verlag: Springer Berlin Heidelberg, 2001

3540415238 / 9783540415237

Anbieter: moluna, Greven, Deutschlandmoluna

Verkäufer/-in mit 5 Sternen

AbeBooks-Verkäufer/-in seit 9. Juli 2020

Artikel dieses Verkäufers ansehen
Hardcover

Zustand: Neu

EUR 128,41

EUR 48,99 Versand 
Versand von Deutschland nach USA

Anzahl: Mehr als 20 verfügbar

In den Warenkorb
Kostenlose Rückgaben innerhalb von 30 Tagen

Artikelbeschreibung vom Verkäufer

Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. An introduction to software verificationModel checking is a powerful approach for the formal verification of software. When applicable, it automatically provides complete proofs of correctness, or explains, via counter-examples, why a system is not corr.

Bestandsnummer des Verkäufers 4889302

Titel
Systems and Software Verification
Autor
B. Berard|M. Bidoit|A. Finkel|F. Laroussinie|A. Petit|L. Petrucci|P. Schnoebelen
Verlag
Springer Berlin Heidelberg
Veröffentlichungsjahr
2001
Zustand
New
Einband
Gebunden
Sprache
Englisch
ISBN-10
3540415238
ISBN-13
9783540415237
Abmessungen
1.5 x 24 x 16
Verkäuferkataloge
Mathematik/Naturwissenschaften/Technik/Medizin

moluna

Greven, Deutschland

Verkäufer/-in mit 5 Sternen

AbeBooks-Verkäufer/-in 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

Shop-Beschreibung

Online Handel nur mit Neubüchern

Unternehmensdaten der Verkäuferin bzw. des Verkäufers

Moluna GmbH

Engberdingdamm 27
Greven, Deutschland 48268