Koha online catalog › ISBD view

Normal view MARC view ISBD view

Merz, Stephan

Temporal logic and state systems - Berlin: Springer, 2008 - xi, 433 p.; ill.: 24 cm. - Texts in theoretical computer science. .

ISBN: 9783540674016 (hbk)

Subjects--Topical Terms:
Logic, Symbolic and mathematical
Tense (Logic)
Time

Dewey Class. No.: 160 / KRO

Print
Save record
More searches