Programmverifikation
34,90 €*
Sofort verfügbar, Lieferzeit: 1-3 Tage
Produktnummer:
9783540574798
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
| Autor: | Olderog, Ernst-Rüdiger Apt, Krzysztof R. |
|---|---|
| EAN: | 9783540574798 |
| Auflage: | 1994 |
| Sprache: | Deutsch |
| Seitenzahl: | 272 |
| Produktart: | kartoniert, broschiert |
| Verlag: | Springer-Verlag GmbH Springer Berlin Heidelberg |
| Veröffentlichungsdatum: | 21.03.1994 |
| Untertitel: | Sequentielle, parallele und verteilte Programme |
| Schlagworte: | EDV / Theorie / Programmieren / Allgemeines Verifikation - verifizieren |
| Größe: | 15 × 155 × 235 |
| Gewicht: | 417 g |
