Programmverifikation: Sequentielle, parallele und verteilte Programme: Springer-Lehrbuch
Autor Krzysztof R. Apt, Ernst-Rüdiger Olderogde Limba Germană Paperback – 21 mar 1994
Din seria Springer-Lehrbuch
- Preț: 381.87 lei
- 11% Preț: 644.67 lei
- Preț: 404.46 lei
- 5% Preț: 730.50 lei
- Preț: 257.64 lei
- 5% Preț: 270.75 lei
- Preț: 362.47 lei
- Preț: 342.90 lei
- 5% Preț: 313.13 lei
- Preț: 426.44 lei
- 5% Preț: 685.82 lei
- 11% Preț: 512.91 lei
- 5% Preț: 376.36 lei
- Preț: 287.71 lei
- 5% Preț: 477.32 lei
- Preț: 182.33 lei
- Preț: 171.76 lei
- Preț: 272.38 lei
- Preț: 455.95 lei
- Preț: 225.33 lei
- 5% Preț: 350.76 lei
- Preț: 332.94 lei
- 5% Preț: 338.32 lei
- Preț: 268.94 lei
- Preț: 322.42 lei
- Preț: 525.03 lei
- Preț: 346.53 lei
- 5% Preț: 177.74 lei
- Preț: 106.61 lei
- Preț: 217.11 lei
- Preț: 354.25 lei
- Preț: 317.90 lei
- 5% Preț: 277.43 lei
- Preț: 254.19 lei
- Preț: 305.57 lei
- Preț: 358.38 lei
- Preț: 217.68 lei
- 5% Preț: 349.52 lei
- Preț: 239.66 lei
- 5% Preț: 464.35 lei
- 5% Preț: 460.69 lei
- Preț: 258.90 lei
- Preț: 248.50 lei
- 5% Preț: 457.31 lei
- Preț: 237.77 lei
- 5% Preț: 279.79 lei
- Preț: 424.37 lei
- Preț: 316.03 lei
- Preț: 239.60 lei
- Preț: 222.03 lei
Preț: 241.44 lei
Preț vechi: 301.80 lei
-20% Nou
Puncte Express: 362
Preț estimativ în valută:
46.21€ • 47.67$ • 39.11£
46.21€ • 47.67$ • 39.11£
Carte tipărită la comandă
Livrare economică 04-18 martie
Preluare comenzi: 021 569.72.76
Specificații
ISBN-13: 9783540574798
ISBN-10: 3540574794
Pagini: 272
Ilustrații: XII, 258 S.
Dimensiuni: 155 x 235 x 14 mm
Greutate: 0.39 kg
Ediția:1994
Editura: Springer Berlin, Heidelberg
Colecția Springer
Seria Springer-Lehrbuch
Locul publicării:Berlin, Heidelberg, Germany
ISBN-10: 3540574794
Pagini: 272
Ilustrații: XII, 258 S.
Dimensiuni: 155 x 235 x 14 mm
Greutate: 0.39 kg
Ediția:1994
Editura: Springer Berlin, Heidelberg
Colecția Springer
Seria Springer-Lehrbuch
Locul publicării:Berlin, Heidelberg, Germany
Public țintă
ResearchCuprins
1 Einführung.- 1.1 Beispiel eines parallelen Programmes.- 1.2 Programmkorrektheit.- 1.3 Struktur dieses Buches.- 2 Vorbereitungen.- 2.1 Syntax.- 2.2 Getypte Ausdrücke.- 2.3 Semantik von Ausdrücken.- 2.4 Formale Beweissysteme.- 2.5 Logische Formeln.- 2.6 Semantik von logischen Formeln.- 2.7 Substitution.- 2.8 Substitutions-Lemma.- 2.9 Übungsaufgaben.- 2.10 Bibliographische Anmerkungen.- 3 Deterministische Programme.- 3.1 Syntax.- 3.2 Semantik.- 3.3 Verifikation.- 3.4 Beweisskizzen.- 3.5 Vollständigkeit.- 3.6 Zusätzliche Axiome und Regeln.- 3.7 Systematische Entwicklung korrekter Programme.- 3.8 Fallstudie: Minimale Abschnittssumme.- 3.9 Übungsaufgaben.- 3.10 Bibliographische Anmerkungen.- 4 Disjunkte parallele Programme.- 4.1 Syntax.- 4.2 Semantik.- 4.3 Verifikation.- 4.4 Fallstudie: Finde Positives Element.- 4.5 Übungsaufgaben.- 4.6 Bibliographische Anmerkungen.- 5 Parallele Programme mit gemeinsamen Variablen.- 5.1 Zugriff auf gemeinsame Variablen.- 5.2 Syntax.- 5.3 Semantik.- 5.4 Verifikation: Partielle Korrektheit.- 5.5 Verifikation: Totale Korrektheit.- 5.6 Fallstudie: Finde positives Element schneller.- 5.7 Verändern von Interferenzpunkten.- 5.8 Fallstudie: Parallele Nullstellensuche.- 5.9 Übungsaufgaben.- 5.10 Bibliographische Anmerkungen.- 6 Parallele Programme mit Synchronisation.- 6.1 Syntax.- 6.2 Semantik.- 6.3 Verifikation.- 6.4 Fallstudie: Erzeuger/Verbraucher-Problem.- 6.5 Fallstudie: Wechselweiser Ausschluß.- 6.6 Verändern von Interferenzpunkten.- 6.7 Fallstudie: Synchronisierte Nullstellensuche.- 6.8 Übungsaufgaben.- 6.9 Bibliographische Anmerkungen.- 7 Nichtdeterministische Programme.- 7.1 Syntax.- 7.2 Semantik.- 7.3 Vorteile nichtdeterministischer Programme.- 7.4 Verifikation.- 7.5 Fallstudie: Wohlfahrtsbetrüger.- 7.6 Transformationparalleler Programme.- 7.7 Übungsaufgaben.- 7.8 Bibliographische Anmerkungen.- 8 Verteilte Programme.- 8.1 Syntax.- 8.2 Semantik.- 8.3 Transformation verteilter Programme.- 8.4 Verifikation.- 8.5 Fallstudie: Übertragungsproblem.- 8.6 Übungsaufgaben.- 8.7 Bibliographische Anmerkungen.- A. Semantik.- B. Beweisregeln.- C. Beweissysteme.- D. Beweisskizzen.- Autorenverzeichnis.- Stichwortverzeichnis.- Symbolverzeichnis.