Normal view MARC view ISBD view

Temporal logic of programs / Fred Kroger.

By: Kroger, Fred, 1945-Material type: Text

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

Tags from this library: No tags from this library for this title. Log in to add tags.

Average rating: 0.0 (0 votes)

Holdings
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.

There are no comments on this title.

to post a comment.