Formal Modeling and Analysis of Timed Systems

Formal Modeling and Analysis of Timed Systems

Paul Pettersson

Format: Print Book

ISBN: 9783540309468

  • Rp 1.314.667,47
    Unit price per 
  • Save Rp 146.047,41
Tax included.

Will not ship until

Publication Year: 2005
Imprint: Springer Berlin Heidelberg
Format: P
Weight (Gram): 1000






We Also Recommend