Title:
Temporal logic and state systems
Personal Author:
Series:
Texts in theoretical computer science : an EATCS series
Publication Information:
Berlin : Springer-Verlag, 2008
Physical Description:
xi, 433 p. : ill. ; 24 cm.
ISBN:
9783540674016
Added Author:
Available:*
Library | Item Barcode | Call Number | Material Type | Item Category 1 | Status |
---|---|---|---|---|---|
Searching... | 30000010177408 | BC199.T4 K76 2008 | Open Access Book | Book | Searching... |