The temporal logic of reactive and concurrent systems: Specification
By: Manna, Z.
Material type: BookPublisher: New York Springer-Verlag 1992Description: xiv, 427p.ISBN: 0-387-97664-7.Item type | Current location | Call number | Status | Date due | Barcode |
---|---|---|---|---|---|
005.2 MAN (Browse shelf) | Available | 502504 |
There are no comments for this item.