Books > Computing & IT > Computer programming > Software engineering
|
Buy Now
Formal Modeling and Analysis of Timed Systems - 13th International Conference, FORMATS 2015, Madrid, Spain, September 2-4, 2015, Proceedings (Paperback, 1st ed. 2015)
Loot Price: R2,431
Discovery Miles 24 310
|
|
Formal Modeling and Analysis of Timed Systems - 13th International Conference, FORMATS 2015, Madrid, Spain, September 2-4, 2015, Proceedings (Paperback, 1st ed. 2015)
Series: Theoretical Computer Science and General Issues, 9268
Expected to ship within 10 - 15 working days
|
This book constitutes the refereed proceedings of the 13th
International Conference on Formal Modeling and Analysis of Timed
Systems, FORMATS 2015, held in Madrid, Spain, in September 2015.
The conference was organized under the umbrella of Madrid Meet
2015, a one week event focussing on the areas of formal and
quantitative analysis of systems, performance engineering, computer
safety, and industrial critical applications. The 19 papers
presented in this volume were carefully reviewed and selected from
42 initial submissions.
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.