29,95 €*
Versandkostenfrei per Post / DHL
Aktuell nicht verfügbar
Einf}hrung in die Programmverifikation. Sequentielle,
parallele und verteilte Programme werdenin einheitlicher
Weise behandelt.
In den einzelnen Kapiteln des Buches werden deterministische
und nichtdeterministische Programme, Programme mit
gemeinsamen Variablen und verteilte Programme mit
Kommunikation }berBotschaftenaustausch behandelt. F}r jede
dieser Programmklassen werden eine operationelle Semantik,
Syntax-gerichtete Verifikationsregeln mitsamt
Korrektheitsbeweis und ein gr|~eres Verifikationsbeispiel
vorgestellt. Insbesondere werden Programme zur L|sung der
klassischen Probleme Erzeuger-Verbraucher, wechselweiser
Ausschlu~ und verteilte Terminierung diskutiert und
verifiziert. Eine Besonderheit desBuches ist die
einheitliche Behandlung von Fairne~-Annahmen und die
Benutzung von Programmtransformationen.
Das Buch eignet sich f}r ein- oder zweisemestrige
Vorlesungen }ber Programmverifikation. Die Kapitel sind
einheitlich strukturiert und enthalten eine Reihe von
]bungsaufgaben und bibliographischen Hinweisen. Das Buch
f}hrt auch an aktuelle Themen der Forschung heran.
Einf}hrung in die Programmverifikation. Sequentielle,
parallele und verteilte Programme werdenin einheitlicher
Weise behandelt.
In den einzelnen Kapiteln des Buches werden deterministische
und nichtdeterministische Programme, Programme mit
gemeinsamen Variablen und verteilte Programme mit
Kommunikation }berBotschaftenaustausch behandelt. F}r jede
dieser Programmklassen werden eine operationelle Semantik,
Syntax-gerichtete Verifikationsregeln mitsamt
Korrektheitsbeweis und ein gr|~eres Verifikationsbeispiel
vorgestellt. Insbesondere werden Programme zur L|sung der
klassischen Probleme Erzeuger-Verbraucher, wechselweiser
Ausschlu~ und verteilte Terminierung diskutiert und
verifiziert. Eine Besonderheit desBuches ist die
einheitliche Behandlung von Fairne~-Annahmen und die
Benutzung von Programmtransformationen.
Das Buch eignet sich f}r ein- oder zweisemestrige
Vorlesungen }ber Programmverifikation. Die Kapitel sind
einheitlich strukturiert und enthalten eine Reihe von
]bungsaufgaben und bibliographischen Hinweisen. Das Buch
f}hrt auch an aktuelle Themen der Forschung heran.
| Erscheinungsjahr: | 1994 |
|---|---|
| Fachbereich: | Programmiersprachen |
| Genre: | Informatik |
| Rubrik: | Naturwissenschaften & Technik |
| Medium: | Taschenbuch |
| Reihe: | Springer-Lehrbuch |
| Inhalt: |
xii
258 S. |
| ISBN-13: | 9783540574798 |
| ISBN-10: | 3540574794 |
| Sprache: | Deutsch |
| Ausstattung / Beilage: | Paperback |
| Einband: | Kartoniert / Broschiert |
| Autor: |
Olderog, Ernst-Rüdiger
Apt, Krzysztof R. |
| Hersteller: |
Springer-Verlag GmbH
Springer Berlin Heidelberg Springer-Lehrbuch |
| Maße: | 235 x 155 x 15 mm |
| Von/Mit: | Ernst-Rüdiger Olderog (u. a.) |
| Erscheinungsdatum: | 21.03.1994 |
| Gewicht: | 0,417 kg |
| Erscheinungsjahr: | 1994 |
|---|---|
| Fachbereich: | Programmiersprachen |
| Genre: | Informatik |
| Rubrik: | Naturwissenschaften & Technik |
| Medium: | Taschenbuch |
| Reihe: | Springer-Lehrbuch |
| Inhalt: |
xii
258 S. |
| ISBN-13: | 9783540574798 |
| ISBN-10: | 3540574794 |
| Sprache: | Deutsch |
| Ausstattung / Beilage: | Paperback |
| Einband: | Kartoniert / Broschiert |
| Autor: |
Olderog, Ernst-Rüdiger
Apt, Krzysztof R. |
| Hersteller: |
Springer-Verlag GmbH
Springer Berlin Heidelberg Springer-Lehrbuch |
| Maße: | 235 x 155 x 15 mm |
| Von/Mit: | Ernst-Rüdiger Olderog (u. a.) |
| Erscheinungsdatum: | 21.03.1994 |
| Gewicht: | 0,417 kg |
Ähnliche Produkte
Aktuell nicht verfügbar
Aktuell nicht verfügbar
Aktuell nicht verfügbar
Aktuell nicht verfügbar
Aktuell nicht verfügbar
Aktuell nicht verfügbar
Aktuell nicht verfügbar