Amazon cover image
Image from Amazon.com

Verifying concurrent processes using temporal logic

By: Material type: TextTextSeries: Lecture notes in computer science, no. 129Publication details: Berlin Springer Verlag 1982 Description: viii, 207 pISBN:
  • 0387112057
Subject(s): DDC classification:
  • 510.7834
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 Item location Shelving location Call number Status Date due Barcode
Books Vikram Sarabhai Library KLMDC Dining Hall Rack No.22B Move to KLMDC 510.7834 H2V3 (Browse shelf(Opens below)) Available 97724

There are no comments on this title.

to post a comment.