You might also like

More about Programmverifikation

• Book details
• Synopsis
• Trending among others

You get 129 loyalty points

Book synopsis

Dieses Buch bietet als erstes Lehrbuch eine systematischeEinführung in die Programmverifikation. Sequentielle,parallele und verteilte Programme werden in einheitlicher Weise behandelt. In den einzelnen Kapiteln des Buches werden deterministische und nicht deterministische Programme, Programme mit gemeinsamen Variablen und verteilte Programme mit Kommunikation über Botschaftenaustausch behandelt. Für jede dieser Programmklassen werden eine operationelle Semantik, Syntax-gerichtete Verifikationsregeln mitsamt Korrektheitsbeweis und ein größeres Verifikationsbeispielv orgestellt. Insbesondere werden Programme zur Lösung derklassischen Probleme Erzeuger-Verbraucher, wechselweiserAusschluß und verteilte Terminierung diskutiert undverifiziert. Eine Besonderheit des Buches ist dieeinheitliche Behandlung von Fairneß-Annahmen und die Benutzung von Programmtransformationen.Das Buch eignet sich für ein- oder zweisemestrige Vorlesungen ber Programmverifikation. Die Kapitel sindeinheitlich strukturiert und enthalten eine Reihe von Übungsaufgaben und bibliographischen Hinweisen. Das Buch führt auch an aktuelle Themen der Forschung heran.

Book details

• Full title: Programmverifikation
• Subtitle: Sequentielle, Parallele Und Verteilte Programme
• Author: Krzysztof R. Apt, Ernst-Rüdiger Olderog
• Language: German
• Binding: Hardback
• Number of pages: 258
• EAN: 9783540574798
• ISBN: 3540574794
• ID: 01565740
• Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
• Weight: 417 g
• Dimensions: 235 × 155 × 15 mm
• Date of publishing: 21. March 1994

Trending among others

---

---

---