Für diesen Artikel ist leider kein Bild verfügbar.

Verification of Sequential and Concurrent Programs

Krzysztof R Apt, Ernst-R Diger Olderog (Autoren)

Buch | Hardcover

441 Seiten

1991
Springer (Verlag)
978-0-387-97532-0 (ISBN)

Titel ist leider vergriffen;
keine Neuauflage

Artikel merken

Systematic discussion of deterministic and nondeterministic programs, parallel programs with shared variables, and distributed programs with message passing. In each case the authors concentrate on operational semantics, syntax-directed assertional proof systems and their soundness proofs, and a correctness proof of a substantial example. For a one

Erscheint lt. Verlag	9.7.1991
Reihe/Serie	Lecture Notes in Statistics
Sprache	englisch
Gewicht	775 g
Themenwelt	Mathematik / Informatik ► Informatik ► Theorie / Studium
Themenwelt	Mathematik / Informatik ► Mathematik ► Logik / Mengenlehre
Schlagworte	Texts and Monographs in Computer Science
ISBN-10	0-387-97532-2 / 0387975322
ISBN-13	978-0-387-97532-0 / 9780387975320
Zustand	Neuware