Temporal logic of programs

Select an Action

Title:

Author:

Kröger, Fred, 1945-

ISBN:

35401708

Publication Information:

Berlin : Springer, 1987.

Physical Description:

148 s.

Series:

EATCS monographs on Theoretical Computer Science ; no : 8

Series Title:

EATCS monographs on Theoretical Computer Science ; no : 8

Subject Term:

Holds:
Copies:

Library	Material Type	Item Barcode	Shelf Number	Status	Item Holds
Searching... Beytepe Library	Book	7.2/12/574771	QA 76.6 K753 1987	Searching... Unknown	Searching... Unavailable