Operational Semantics for Timed Systems : A Non-Standard Approach to Uniform Modeling of Timed and Hybrid Systems

ISBN
9783540255765
$84.99
Author Rust, Heinrich
Format Paperback
Details
  • Active Record
  • Individual Title
  • 1 vol.
  • 2005
  • xii, 224
  • Yes
  • 3456
  • Combination of Multiple Bindings
  • QA75.5-76.95