Watson, Bruce W. The Correctness-by-Construction Approach to Programming

€19,99 €106,99 inkl. MwSt
inkl. MwSt. Versand wird beim Checkout berechnet.
Gebrauchter Zustand
Sehr gut
ISBN-Nummer
9783642279188
Sprache
Englisch
Erscheinungsdatum
12.04.2012
Autor
Watson, Bruce W.
Verlag
Springer

Sonderangebot
Kaufe 2 und erhalte 1 Buch unter 5 Euro gratis dazu
'The Correctness-by-Construction Approach to Programming' von Bruce W. Watson behandelt eine systematische Methode zur Softwareentwicklung, die darauf abzielt, korrekte Programme von Anfang an zu erstellen. Anstatt Fehler durch Testen und Debuggen nachträglich zu beheben, legt dieser Ansatz den Fokus darauf, Programme so zu entwickeln, dass sie von Beginn an korrekt sind. Watson erläutert Techniken und Prinzipien, um Spezifikationen präzise in fehlerfreie Implementierungen umzusetzen. Der Ansatz betont formale Methoden und mathematische Präzision in der Programmierung, um die Zuverlässigkeit und Sicherheit von Software zu erhöhen. Das Buch richtet sich an Entwickler und Informatiker, die an robusten und wartbaren Softwaresystemen interessiert sind.

Lieferung und Versand

Wir versenden deine Bestellung innerhalb eines Werktages.

• Die Versandkosten werden im Checkout automatisch berechnet – nähere Infos findest Du [hier].

• Nach dem Versand erhältst du eine Sendungsverfolgung per E-Mail, damit du immer weißt, wo sich dein Buch auf der Reise befindet.

• Wir verpacken ressourcenschonend – in bereits verwendeten oder recycelten Kartons, ganz im Sinne unserer nachhaltigen Mission.

Sicher bezahlen – mit Vertrauen und Schutz

  • American Express
  • Apple Pay
  • Bancontact
  • EPS
  • Google Pay
  • Klarna
  • Maestro
  • Mastercard
  • PayPal
  • Shop Pay
  • Visa

Wir verarbeiten alle Zahlungen verschlüsselt und speichern keine Kreditkarteninformationen. So kannst du ganz entspannt und geschützt einkaufen.