Temporal logic and state systems

Select an Action

Title:

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

Subject Term:

Added Author:

Library	Item Barcode	Call Number	Material Type	Item Category 1	Status
Searching... PSZ JB	30000010177408	BC199.T4 K76 2008	Open Access Book	Book	Searching... Unknown