Image from Amazon.com
Temporal Logic of Programs / by Fred Kroger
Material type:
TextLanguage: English Publication details: New York: Springer-Verlag Berlin Heidelberg, 1987. Description: viii,148pISBN: 3540170308Subject(s): ProgramsDDC classification: 005.131
| Item type | Current library | Call number | Status | Date due | Barcode |
|---|---|---|---|---|---|
Books
|
PROF. BHUBANESWAR BEHERA CENTRAL LIBRARY Reference | 005.131 KRO/T (Browse shelf(Opens below)) | Available | 075369 |
Browsing PROF. BHUBANESWAR BEHERA CENTRAL LIBRARY shelves, Shelving location: Reference Close shelf browser (Hides shelf browser)
|
|
|
|
|
|
|
||
| 005.13 VEN/M Venugopal, K. R. | 005.13 WEI/D Data structures and algorithm analysis in C | 005.131 DOW/A A Frist Course in Formal Logic and Its Applications in Computer Science | 005.131 KRO/T Temporal Logic of Programs | 005.133 Data Analytics using Python | 005.133 Data Analytics using Python | 005.133 ALL/J J2EE unleashed |
There are no comments on this title.