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, 1987Description: viii, 148 p. ; 25 cmISBN: 0387170308 (U.S.)Subject(s): Computer programming | Logic, Symbolic and mathematicalDDC classification: 005.13/1
| 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 |
Includes index.
Bibliogr.: p. 143-146.
All site content, except where otherwise noted, is licensed under a
There are no comments on this title.