Formal Modeling and Analysis of Timed Systems

Formal Modeling and Analysis of Timed Systems

Paul Pettersson

Format: Print Book

ISBN: 9783540309468

  • Rp 1.315.291,17
    Unit price per 
  • Save Rp 146.116,69
Tax included.

Will not ship until

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






We Also Recommend