It takes the average reader 7 hours and 20 minutes to read Temporal Logic and State Systems by Fred Kröger
Assuming a reading speed of 250 words per minute. Learn more
Temporal logic has developed over the last 30 years into a powerful formal setting for the specification and verification of state-based systems. Based on university lectures given by the authors, this book is a comprehensive, concise, uniform, up-to-date presentation of the theory and applications of linear and branching time temporal logic; TLA (Temporal Logic of Actions); automata theoretical connections; model checking; and related theories. All theoretical details and numerous application examples are elaborated carefully and with full formal rigor, and the book will serve as a basic...
Temporal Logic and State Systems by Fred Kröger is 440 pages long, and a total of 110,000 words.
This makes it 148% the length of the average book. It also has 134% more words than the average book.
The average oral reading speed is 183 words per minute. This means it takes 10 hours and 1 minute to read Temporal Logic and State Systems aloud.
Temporal Logic and State Systems is suitable for students ages 12 and up.
Note that there may be other factors that effect this rating besides length that are not factored in on this page. This may include things like complex language or sensitive topics not suitable for students of certain ages.
When deciding what to show young students always use your best judgement and consult a professional.
Temporal Logic and State Systems by Fred Kröger is sold by several retailers and bookshops. However, Read Time works with Amazon to provide an easier way to purchase books.
To buy Temporal Logic and State Systems by Fred Kröger on Amazon click the button below.
Buy Temporal Logic and State Systems on Amazon