The temporal logic of reactive and concurrent systems : specification

By: Contributor(s): Material type: TextTextPublication details: Nueva York : Springer-Verlag, 1991Edition: 1st edDescription: xi, 427 p. ; 24 cmISBN:
  • 0387976647
Subject(s):
Contents:
Part I: Models of concurrency. -- Chapter 1: Basic models. -- Chapter 2: Modeling real concurrency. -- Part II: Specifications. -- Chapter 3: Temporal logic. -- Chapter 4: Properties of programs.
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 C.3 MAN (Browse shelf(Opens below)) Available DIF-03770

Part I: Models of concurrency. -- Chapter 1: Basic models. -- Chapter 2: Modeling real concurrency. -- Part II: Specifications. -- Chapter 3: Temporal logic. -- Chapter 4: Properties of programs.

There are no comments on this title.

to post a comment.

Powered by Koha