Programmverifikation
| Autor: | Apt, Krzysztof R. Olderog, Ernst-Rüdiger |
|---|---|
| EAN: | 9783540574798 |
| Sachgruppe: | Informatik, EDV |
| Sprache: | Deutsch |
| Seitenzahl: | 272 |
| Produktart: | Kartoniert / Broschiert |
| Veröffentlichungsdatum: | 21.03.1994 |
| Untertitel: | Sequentielle, parallele und verteilte Programme |
| Schlagworte: | EDV / Theorie / Programmieren / Allgemeines Verifikation - verifizieren |
29,95 €*
Die Verfügbarkeit wird nach ihrer Bestellung bei uns geprüft.
Bücher sind in der Regel innerhalb von 1-2 Werktagen abholbereit.
Dieses Buch bietet als erstes Lehrbuch eine systematische 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
Weitere Produkte vom selben Autor