Verification of sequential and concurrent programs

By: Contributor(s): Material type: TextTextSeries: Graduate texts in computer sciencePublication details: Nueva York : , c1997Edition: 2nd edDescription: xvii, 364 p. ; 24 cmISBN:
  • 0387948961
Subject(s):
Contents:
Deterministic programs -- Disjoint parallel programs -- Parallel programs with shared variables -- Parallel programs with synchronization -- Nondeterministic programs -- Distributed programs -- Fairness -- App. A. Semantics -- App. B. Axioms and proof rules -- App. C. Proof systems -- App. D. Proof outlines.
Tags from this library: No tags from this library for this title. Log in to add tags.
Star ratings
    Average rating: 0.0 (0 votes)
Holdings
Item type Current library Call number Status Date due Barcode
Libros Libros Biblioteca Fac.Informática D.2.4 APT (Browse shelf(Opens below)) Available DIF-02755

Incluye ejercicios, estudio de casos, referencias bibliográficas (p. 343-352), e índices de autores, de materias y de símbolos. --

Deterministic programs -- Disjoint parallel programs -- Parallel programs with shared variables -- Parallel programs with synchronization -- Nondeterministic programs -- Distributed programs -- Fairness -- App. A. Semantics -- App. B. Axioms and proof rules -- App. C. Proof systems -- App. D. Proof outlines.

There are no comments on this title.

to post a comment.

Powered by Koha