Temporal logic and state systems Fred Kröger, Stephen Merz

By: Kroger, FredContributor(s): Merz, StephanMaterial type: TextTextLanguage: English Series: Texts in theoretical computer sciencePublication details: Berlin Springer 2008Description: xi, 433 p. illISBN: 9783540674016 (PB)Subject(s): Tense (Logic) | Logic, Symbolic and mathematical | Time | MathematicsOnline resources: Click here to access online
Item type: BOOKS
Tags from this library: No tags from this library for this title. Log in to add tags.
    Average rating: 0.0 (0 votes)
Current library Home library Call number Materials specified Status Date due Barcode
IMSc Library
IMSc Library
510.6 KRO (Browse shelf (Opens below)) Available 75536

Includes bibliographical references (p. [421]-428) and index.

There are no comments on this title.

to post a comment.
The Institute of Mathematical Sciences, Chennai, India

Powered by Koha