Programmverifikation

Sequentielle, parallele und verteilte Programme

Häftad, Tyska, 1994

Av Krzysztof R. Apt, Ernst-Rüdiger Olderog, Krzysztof Apt

399 kr

Beställningsvara. Skickas inom 10-15 vardagar

Fri frakt för medlemmar vid köp för minst 249 kr.

Produktinformation

Utgivningsdatum1994-03-21
Mått155 x 235 x 15 mm
Vikt417 g
FormatHäftad
SpråkTyska
SerieSpringer-Lehrbuch
Antal sidor258
Upplaga1994
FörlagSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN9783540574798

Tillhör följande kategorier

Informationsteknik: allmänt inom Data och it
Systemvetenskap och AI inom Data och it
Programmeringsböcker inom Data och it
Hårdvara inom Data och it
Matematikens grunder inom Naturvetenskap och teknik
Programvaruutveckling inom Data och it

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.

Mer från samma författare

Logic Programming Languages

Logic Programming Languages

Krzysztof R. Apt, J. W. de Bakker, J. M. Rutten, J. W. De Bakker

689 kr

Meta-Logics and Logic Programming

Meta-Logics and Logic Programming

Krzysztof R. Apt, Franco Turini

979 kr

Lectures in Game Theory for Computer Scientists

Lectures in Game Theory for Computer Scientists

Krzysztof R. (Universiteit van Amsterdam) Apt, Germany) Gradel, Erich (Rheinisch-Westfalische Technische Hochschule, Aachen, Krzysztof R. Apt, Erich Grädel

2 059 kr

Verification of Sequential and Concurrent Programs

Verification of Sequential and Concurrent Programs

Krzysztof R. Apt, Frank S. de Boer, Ernst-Rüdiger Olderog, Frank S. De Boer

1 169 kr

Edsger Wybe Dijkstra

Edsger Wybe Dijkstra

Krzysztof R. Apt, Tony Hoare, Krzysztof R Apt, Krzysztof R. Apt, Tony Hoare

1 279 kr

Edsger Wybe Dijkstra

Edsger Wybe Dijkstra

Krzysztof R. Apt, Tony Hoare, Krzysztof R. Apt, Krzysztof R Apt

1 829 kr

Verification of Sequential and Concurrent Programs

Verification of Sequential and Concurrent Programs

Krzysztof R. Apt, Frank S. de Boer, Ernst-Rüdiger Olderog, Frank S. De Boer

1 449 kr

Recent Advances in Constraints

Recent Advances in Constraints

Krzysztof R. Apt, Francois Fages, Francesca Rossi, Peter Szeredi, Josef Váncza, Krzysztof Apt

729 kr

New Trends in Constraints

New Trends in Constraints

Krzysztof R. Apt, Antonis Kakas, Eric Monfroy, Francesca Rossi, Krzysztof Apt

729 kr

Logic Programming Paradigm

Logic Programming Paradigm

Krzysztof R. Apt, Victor W. Marek, Mirek Truszczynski, David S. Warren, Krzysztof Apt

1 449 kr

Du kanske också är intresserad av

New Trends in Constraints

New Trends in Constraints

Krzysztof R. Apt, Antonis Kakas, Eric Monfroy, Francesca Rossi, Krzysztof Apt

729 kr

Verification of Sequential and Concurrent Programs

Verification of Sequential and Concurrent Programs

Krzysztof R. Apt, Frank S. de Boer, Ernst-Rüdiger Olderog, Frank S. De Boer

1 449 kr

Logics and Models of Concurrent Systems

Logics and Models of Concurrent Systems

Krzysztof R. Apt, Krzysztof Apt

1 449 kr

Logic Programming Paradigm

Logic Programming Paradigm

Krzysztof R. Apt, Victor W. Marek, Mirek Truszczynski, David S. Warren, Krzysztof Apt

1 449 kr

Verification of Sequential and Concurrent Programs

Verification of Sequential and Concurrent Programs

Krzysztof R. Apt, Frank S. de Boer, Ernst-Rüdiger Olderog, Frank S. De Boer

1 169 kr

Recent Advances in Constraints

Recent Advances in Constraints

Krzysztof R. Apt, Francois Fages, Francesca Rossi, Peter Szeredi, Josef Váncza, Krzysztof Apt

729 kr

Pappaskämt : den ultimata humorn

Pappaskämt : den ultimata humorn

49 kr79 kr

Hitster - Christmas

Hitster - Christmas

Jumbo

259 kr

Jul med guldkant

Nyhet

Jul med guldkant

Catarina König

299 kr349 kr

Vitön : den fristående fortsättningen på Expeditionen

Nyhet

Vitön : den fristående fortsättningen på Expeditionen

399 kr