Mohlo by se vám také líbit

Více informací o knize Programmverifikation

• Parametry knihy
• Anotace
• Oblíbené z jiného soudku

Nákupem získáte 123 bodů

Anotace knihy

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.

Parametry knihy

• Plný název: Programmverifikation
• Podnázev: Sequentielle, Parallele Und Verteilte Programme
• Autor: Krzysztof R. Apt, Ernst-Rüdiger Olderog
• Jazyk: Němčina
• Vazba: Pevná
• Počet stran: 258
• EAN: 9783540574798
• ISBN: 3540574794
• ID: 01565740
• Nakladatelství: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
• Hmotnost: 417 g
• Rozměry: 235 × 155 × 15 mm
• Datum vydání: 21. March 1994

Oblíbené z jiného soudku

---

---

---