Specification and Proof in real- time CSP / Jim Davis.

By: Material type: TextTextPublication details: Cambridge : Press Sydicate, c1993.Description: xvii,180 pISBN:
  • 0521450551
Subject(s): LOC classification:
  • QA 76.6 .D38
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 Copy number Status Date due Barcode
General Collection item General Collection item Nairobi Campus Open Shelves QA 76.6.D38 (Browse shelf(Opens below)) c.1 Available BK038333

There are no comments on this title.

to post a comment.