Temporal logic of programs / Fred Kroger.
Material type:
TextLanguage: English Series: EATCS monographs on theoretical computer science ; Vol. 8Publication details: Berlin ; New York : Springer-Verlag, 1987.Description: viii, 148 p. ; 25 cmISBN: - 0387170308 (U.S.)
- 005.13/1 19
| Item type | Current library | Collection | Call number | Status | Notes | Date due | Barcode | |
|---|---|---|---|---|---|---|---|---|
Գրքեր/Books
|
Fundamental Scientific Library | Gulbenkian Individual Collection | Gulb/7160 (Browse shelf(Opens below)) | Available | ILL Non-Circ. | FL0090663 |
Browsing Fundamental Scientific Library shelves, Collection: Gulbenkian Individual Collection Close shelf browser (Hides shelf browser)
Includes index.
Bibliogr.: p. 143-146.
There are no comments on this title.
Log in to your account to post a comment.
All site content, except where otherwise noted, is licensed under a