Mohlo by sa vám tiež páčiť

Viac informácií o knihe Programmverifikation

• Parametre knihy
• Anotácia kniha
• Obľúbené z iného súdka

Nákupom získate 69 bodov

Anotácia 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.

Parametre knihy

• Celý názov: Programmverifikation
• Podnázov: Sequentielle, Parallele Und Verteilte Programme
• Autor: Krzysztof R. Apt, Ernst-Rüdiger Olderog
• Jazyk: Nemčina
• Väzba: Pevná
• Počet strán: 258
• EAN: 9783540574798
• ISBN: 3540574794
• ID: 01565740
• Nakladateľ: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
• Hmotnosť: 417 g
• Rozmery: 235 × 155 × 15 mm
• Dátum vydania: 21. March 1994

Obľúbené z iného súdka

---

---

---