Specifying message passing and time-critical systems with temporal logic by Ron Koymans
Material type: BookSeries: Lecture notes in computer science ; 651Publication details: Berlin Springer-Verlag 1992Description: viii, 164pISBN:- 3540562834
- 004.66015113 N92
Item type | Current library | Call number | Status | Date due | Barcode |
---|---|---|---|---|---|
Reference | JRD Tata Memorial Library | 004.66015113 N92 (Browse shelf(Opens below)) | Available | 151016 |
There are no comments on this title.