Local cover image
Local cover image

Verifying concurrent processes using temporal logic

By: Contributor(s): Material type: TextTextSeries: Lecture notes in computer science ; 129Publication details: Berlín : Springer, 1982Edition: 1a edDescription: viii, 208 p. : il. ; 25 cmISBN:
  • 0387112057
Subject(s):
Star ratings
    Average rating: 0.0 (0 votes)
Holdings
Item type Home library Call number Status Date due Barcode
Libro Libro Biblioteca de la Facultad de Informática D.2.4 HAI (Browse shelf(Opens below)) Available DIF-04161

Incluye índice y bibliografía.

Click on an image to view it in the image viewer

Local cover image