|
Books > Computing & IT > Computer programming > Programming languages
|
Buy Now
Formal Modeling and Analysis of Timed Systems - 9th International Conference, FORMATS 2011, Aalborg, Denmark, September 21-23, 2011, Proceedings (Paperback)
Loot Price: R1,489
Discovery Miles 14 890
|
|
|
Formal Modeling and Analysis of Timed Systems - 9th International Conference, FORMATS 2011, Aalborg, Denmark, September 21-23, 2011, Proceedings (Paperback)
Series: Theoretical Computer Science and General Issues, 6919
Expected to ship within 10 - 15 working days
|
This book constitutes the refereed proceedings of the 9th
International Conference on Formal Modeling and Analysis of Timed
Systems, FORMATS 2011, held in Aalborg, Denmark, in September 2011.
The 20 revised full papers presented together with three invited
talks were carefully reviewed and selected from 43 submissions. The
papers are organized in topical sections on probabilistic methods,
robustness, games, verification and testing, verification, hybrid
systems, and applications.
General
Is the information for this product incomplete, wrong or inappropriate?
Let us know about it.
Does this product have an incorrect or missing image?
Send us a new image.
Is this product missing categories?
Add more categories.
Review This Product
No reviews yet - be the first to create one!
|
|
Email address subscribed successfully.
A activation email has been sent to you.
Please click the link in that email to activate your subscription.
Welcome to Loot.co.za!
Sign in / Register |Wishlists & Gift Vouchers |Help | Advanced search
