Placeholder text

Go to cart

Proof in Vdm: A Practitioner's Guide (Formal Approaches to Computing and Information Technology)

By Bicarregui, Juan C.

Proof in Vdm: A Practitioner's Guide (Formal Approaches to Computing and Information Technology)

By Bicarregui, Juan C.

0 - Default Title
Description
Nachweis in VDM: A Practitioners' Guide ist ein Lehrbuch und Handbuch zu den praktischen Aspekten der Verwendung und Konstruktion von Nachweisen in der Spezifikation und Entwicklung von Computersystemen. Viele Einführungskurse zu formellen Techniken sind von ihrer Natur aus nicht in der Lage, die Pragmatik des Beweises abzudecken. Praktiker, die für das Schreiben und das Verstehen formeller Spezifikationen kompetent sind, sind daher oft bei einem Verlust, wenn es darum geht, die relevanten Beweise durchzuführen. Nachweis in VDM: Ein Praktikerführer spricht an, die brauchen. Der Leser wird mit Hilfe zahlreicher gearbeiteter Beispiele durch die Elemente der Beweiskonstruktion geführt. Die Techniken können auf Spezifikation und Entwicklung in einer Reihe von Formalismen angewendet werden und werden anhand der Logik und der Grunddatentypen der VDM-Spezifikationssprache illustriert. Die Konstruktion von Theoremen und Beweisen aus tatsächlichen Spezifikationen und Raffinessen wird ebenfalls beschrieben, und eine detaillierte Fallstudie einschließlich mehrerer Veredelungsschritte zeigt, wie formeller Beweis in der Praxis verwendet werden kann. Darüber hinaus enthält das Buch ein Verzeichnis von Axiomen und formell bewährten Theoremen.
Product details
Binding:
Paperback
Number of Pages:
378
Release Date:
1995-01-01
Publication Date:
1995-01-01
Publisher:
Springer-Verlag New York Inc.
Languages:
Published: English, Original: English
ISBN10:
038719813X
Weight:
635 g
Buy on Amazon
Currently sold out