ItemOracle

Temporal Logic and State Systems (Texts in Theoretical Computer Science)

Fred Kroger, Stephan Merz ★ 3.2/5 · ItemOracle Score Mid-Range

$75 USD
Price subject to change
Check current price on Amazon →
Temporal Logic and State Systems (Texts in Theoretical Computer Science. An EATCS Series)

Explores temporal logic and state systems in theoretical computer science. Provides formal frameworks and analysis insights. Customer insight: no explicit feedback provided

Highlights

  • temporal logic focus
  • state system analysis
  • texts in theoretical computer science

Pros

  • theoretical depth on temporal logic
  • formal methods for state systems
  • integrates with TCS series themes
  • clear academic focus

Cons

  • no customer-provided features
  • no pricing or availability info

Best For

  • academic research
  • graduate study in logic
  • formal verification coursework
  • theoretical computer science analysis
  • state machine modeling
  • temporal reasoning practice

Tags

Similar Products