Programmverifikation

Sequentielle, parallele und verteilte Programme

Häftad, Tyska, 1994

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

389 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 Paradigm

Logic Programming Paradigm

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

1 409 kr

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. Apt, Erich Grädel, Erich Grädel, Krzysztof R. (Universiteit van Amsterdam) Apt, Germany) Gradel, Erich (Rheinisch-Westfalische Technische Hochschule, Aachen

1 969 kr

Constraint Logic Programming using Eclipse

Constraint Logic Programming using Eclipse

Krzysztof R. Apt, Mark Wallace, Amsterdam) Apt, Krzysztof R. (Stichting Centrum voor Wiskunde en Informatica (CWI), Victoria) Wallace, Mark (Monash University, R. Krzysztof Apt

1 229 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 129 kr

Edsger Wybe Dijkstra

Edsger Wybe Dijkstra

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

1 249 kr

Edsger Wybe Dijkstra

Edsger Wybe Dijkstra

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

1 799 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 409 kr

Recent Advances in Constraints

Recent Advances in Constraints

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

709 kr

Du kanske också är intresserad av

Nonprofit-Marketing Von Entwicklungshilfe-Organisationen: Grundlagen -- Strategie -- Maßnahmen

Nonprofit-Marketing Von Entwicklungshilfe-Organisationen: Grundlagen -- Strategie -- Maßnahmen

659 kr

Ökonomischer Ansatz und theoretische Integration

Del 84

Ökonomischer Ansatz und theoretische Integration

Andreas Suchanek

1 539 kr

Multimediale Und Wissensbasierte Systeme in Der Finanzwirtschaft: Entwurf, Implementierung Und Auswirkungen Neuer Informationssysteme in Banken

Multimediale Und Wissensbasierte Systeme in Der Finanzwirtschaft: Entwurf, Implementierung Und Auswirkungen Neuer Informationssysteme in Banken

659 kr

Ethnohistorical Dictionary of the Russian and Soviet Empires

Ethnohistorical Dictionary of the Russian and Soviet Empires

James Stuart Olson, James Stuart Olson

1 149 kr

Electoral Systems in Comparative Perspective

Electoral Systems in Comparative Perspective

Joseph F. Zimmerman, Wilma Rule, Joseph Francis Zimmerman

1 279 kr

Israel's Secret Wars

Israel's Secret Wars

Ian Black, Benny Morris

319 kr

Odd Genre

Odd Genre

1 469 kr

Beautiful Swimmers: Watermen, Crabs and the Chesapeake Bay

Beautiful Swimmers: Watermen, Crabs and the Chesapeake Bay

William W Warner

319 kr

Dictionary of Russian Women Writers

Dictionary of Russian Women Writers

Mariana Astman Ledkovsky, B L. Bessonov, Charlott Rosenthal, Mary F. Zirin, Mariana Astman Ledkovsky, B. L. Bessonov, Marina Ledkovsky

1 279 kr

Rules for Reaching Consensus

Rules for Reaching Consensus

Steven Saint, James R. Lawson, James Lawson, Henry Saint Dahl, James R Lawson

459 kr