B. Berard Systems and Software Verification

(0)

Lovelybooks Bewertung

  • 1 Bibliotheken
  • 0 Follower
  • 0 Leser
  • 0 Rezensionen
(0)
(0)
(0)
(0)
(0)

Inhaltsangabe zu „Systems and Software Verification“ von B. Berard

Model 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 correct. This work provides a basic introduction to this technique.

Stöbern in Sachbuch

The Brain

Das Buch hat mich sehr bewegt, denn wir wissen immer noch wenig darüber, wie das Gehirn funktioniert und woher unser Ich-Gefühl kommt.

Tallianna

Warum wir es tun, wie wir es tun

Erfrischend anders!

Gucci2104

Die Genies der Lüfte

Erstaunlich und wissenswert. Man lernt eine Menge dazu und sieht die Vogelwelt mit ganz neuen Augen.

leucoryx

Schriftstellerinnen!

Ein sehr gelungenes, sehr empfehlenswertes Buch über Schriftstellerinnen. Ein Must-have für alle schreibenden Frauen und alle Buchliebhaber!

FrauTinaMueller

Jane Austen. Eine Entdeckungsreise durch ihre Welt

Ein absolut geniales, wichtiges, empfehlenswertes, bezauberndes und verzauberndes, magisches und informatives Buch für alle Austen-Fans!

FrauTinaMueller

  • Rezensionen
  • Leserunden
  • Buchverlosungen
  • Themen