ページに戻る

Verification and Control of Hybrid Systems : A Symbolic Approach

Tabuada, Paulo
256.34 SGD
会員価格
230.71
English

Product Description

Hybrid systems describe the interaction of software, described by finite models such as finite-state machines, with the physical world, described by infinite models such as differential equations.

... Read Full Text

Available to Order

Usually dispatches within 3-4 weeks

While every attempt has been made to ensure stock availability, occasionally we may run out of stock at our stores.

ご注文金額 50.00SGD以上で国内送料無料

Discount is applied at checkout.

Recently Viewed Items

Related Products