Verification and Control of Hybrid Systems: A Symbolic Approach by Paulo Tabuada
128,25 €
By Paulo Tabuada. Author Paulo Tabuada. Basic concepts. - Verifcation problems. - Finite systems. - Infinite Systems Exact symbolic models. - Exact symbolic models for verification. - Infinite Systems Approximate symbolic models.
Jetzt bei Ebay: