Synchronous Equivalence : Formal Methods for Embedded Systems
  • 洋書

Synchronous Equivalence : Formal Methods for Embedded Systems  Paperback,  言語:ENG

Hsieh, Harry/ Balarin, Felice/ Sangiovanni-Vincentelli, Alberto L.

  • ウェブストア価格 ¥23,074(本体¥20,977)
  • Springer-Verlag New York Inc.(2012/11発売)
  • ポイント 209pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。