.png){kind=logo}
Stock image for illustration purposes only - book cover, edition or condition may vary.
Verification of Digital and Hybrid Systems
. Ed(S): Inan, M. Kemal; Kurshan, R. P.
€ 128.99
FREE Delivery in Ireland
Description for Verification of Digital and Hybrid Systems
Paperback. Proceedings of the NATO Advanced Study Institute on Verification of Digital and Hybrid Systems, Antalya, May 26 - June 6, 1997. Editor(s): Inan, M. Kemal; Kurshan, R. P. Series: NATO ASI Subseries F. Num Pages: 405 pages, 5 black & white tables, biography. BIC Classification: UT. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 22. Weight in Grams: 644.
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 was structured in two parts. The first part covered theorem-proving, system automaton models, logics, tools, and complexity of verification. The second part covered modeling and verification of hybrid systems, i. e. , systems composed of a discrete event part and a continuous time part that interact with each ... Read more
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 was structured in two parts. The first part covered theorem-proving, system automaton models, logics, tools, and complexity of verification. The second part covered modeling and verification of hybrid systems, i. e. , systems composed of a discrete event part and a continuous time part that interact with each ... Read more
Product Details
Format
Paperback
Publication date
2011
Publisher
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
Number of pages
405
Condition
New
Series
NATO ASI Subseries F
Number of Pages
405
Place of Publication
Berlin, Germany
ISBN
9783642640520
SKU
V9783642640520
Shipping Time
Usually ships in 15 to 20 working days
Ref
99-15
Reviews for Verification of Digital and Hybrid Systems