Normal view MARC view ISBD view

Verification of sequential and concurrent programs

By:

Apt, Krsysztof R

Contributor(s):

Olderog, Ernst-Rüdiger

Material type: Text

TextSeries: Graduate texts in computer sciencePublication details: Nueva York : , c1997Edition: 2nd edDescription: xvii, 364 p. ; 24 cmISBN:

0387948961

Subject(s):

VERIFICACIÓN DE PROGRAMAS

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.

Average rating: 0.0 (0 votes)

Holdings
Item type	Current library	Call number	Status	Date due	Barcode
Libros	Biblioteca Fac.Informática	D.2.4 APT (Browse shelf(Opens below))	Available		DIF-02755

Browsing Biblioteca Fac.Informática shelves Close shelf browser (Hides shelf browser)

Previous								Next
Previous	D.2.4 ADV Advanced transaction models and architectures	D.2.4 ALE Métodos formais para o desenvolvimento de programas	D.2.4 ALE Métodos formais para o desenvolvimento de programas	D.2.4 APT Verification of sequential and concurrent programs	D.2.4 FRA Program verification	D.2.4 FRA Fairness	D.2.4 HAI Verifying concurrent processes using temporal logic	Next

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

There are no comments on this title.

to post a comment.