Title Temporal logic of programs / Fred Kröger

Published Berlin ; New York : Springer-Verlag, [1987] ©1987

Copies

Location	Call no.	Vol.	Availability
W'PONDS	005.131 Kro		AVAILABLE

Description viii, 148 pages ; 25 cm Series EATCS monographs on theoretical computer science ; v. 8 EATCS monographs on theoretical computer science ; v. 8 Contents Includes index Notes Includes index Bibliography Bibliography: pages 143-146 Subject Computer programming. Logic, Symbolic and mathematical. Modality (Logic) Time. LC no. 86031336 ISBN 0387170308 (U.S.) 3540170308 (Berlin)

  Permalink