Programmverifikation

Sequentielle, parallele und verteilte Programme

Häftad, Tyska, 1994

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

409 kr

Beställningsvara. Skickas inom 7-10 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
SpråkTyska
SerieSpringer-Lehrbuch
Antal sidor258
Upplaga1994
FörlagSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG
EAN9783540574798

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

989 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 079 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 299 kr

Edsger Wybe Dijkstra

Edsger Wybe Dijkstra

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

1 869 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 459 kr

Recent Advances in Constraints

Recent Advances in Constraints

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

739 kr

New Trends in Constraints

New Trends in Constraints

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

739 kr

Logic Programming Paradigm

Logic Programming Paradigm

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

1 459 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

739 kr

Stacken

4 pocket för 3

Stacken

115 kr

Hjärtslag : En självbiografi

Nyhet

Hjärtslag : En självbiografi

Björn Borg, Patricia Borg

349 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 459 kr

Logics and Models of Concurrent Systems

Logics and Models of Concurrent Systems

Krzysztof R. Apt, Krzysztof Apt

1 459 kr

Logic Programming Paradigm

Logic Programming Paradigm

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

1 459 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

739 kr

Concepts in Programming Languages

Concepts in Programming Languages

California) Mitchell, John C. (Stanford University, John C. Mitchell, Krzysztof Apt

1 309 kr

Principles of Constraint Programming

Principles of Constraint Programming

Amsterdam) Apt, Krzysztof (Centre for Mathematics and Computer Science, Krzysztof Apt

1 219 kr

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.