Language: English

Login

Languages

English (1)

Jump To : Overview | Titles | Subjects

Kroger, Fred.

Overview

Works:	1 works in 1 publications in 1 languages

Titles

Temporal Logic and State Systems by: Merz, Stephan.; SpringerLink (Online service); Kroger, Fred. (Electronic resources)

Subjects

Software Engineering. Computer Science. Time. Logic, Symbolic and mathematical. Programming Languages, Compilers, Interpreters. Logics and Meanings of Programs. Mathematical Logic and Formal Languages.

Change password

Login