M. Kemal Inan – författare
Visar alla böcker från författaren M. Kemal Inan. Handla med fri frakt och snabb leverans.
2 produkter
Verification of Digital and Hybrid Systems
Av Robert P. Kurshan, M. Kemal Inan
E-bok, 2012
1459 kr
Lägg i varukorg
This book grew out of a NATO Advanced Study Institute summer school that was held in Antalya, TUrkey from 26 May to 6 June 1997. The purpose of the summer school was to expose recent advances in the formal verification of systems composed of both logical and continuous time components. The course …
Verification of Digital and Hybrid Systems
Av M. Kemal Inan, Robert P. Kurshan
Häftad, 2011
1128 kr
Lägg i varukorg
This book grew out of a NATO Advanced Study Institute summer school that was held in Antalya, TUrkey from 26 May to 6 June 1997. The purpose of the summer school was to expose recent advances in the formal verification of systems composed of both logical and continuous time components. The course …
