Please note: In order to keep Hive up to date and provide users with the best features, we are no longer able to fully support Internet Explorer. The site is still available to you, however some sections of the site may appear broken. We would encourage you to move to a more modern browser like Firefox, Edge or Chrome in order to experience the site fully.

Supporting your high street Find out how »
Showing 1 - 2 (of 2)
Refine
Formal Modeling and Analysis of Timed Systems : 16th International Conference, FORMATS 2018, Beijing, China, September 4–6, 2018, Proceedings - Book

Formal Modeling and Analysis of Timed Systems : 16th International Conference, FORMATS 2018, Beijing, China, September 4–6, 2018, Proceedings

David N. Jansen

Available to Order - This title is available to order, with delivery expected within 2 weeks

Format: Book (Paperback / softback)

£44.99

£37.09

Available to Order - This title is available to order, with delivery expected within 2 weeks

Book (Paperback / softback)

Add to Basket
Quantitative Evaluation of Systems : 17th International Conference, QEST 2020, Vienna, Austria, August 31 – September 3, 2020, Proceedings - Book

Quantitative Evaluation of Systems : 17th International Conference, QEST 2020, Vienna, Austria, August 31 – September 3, 2020, Proceedings

Marco Gribaudo

Available to Order - This title is available to order, with delivery expected within 2 weeks

Format: Book (Paperback / softback)

£44.99

£37.09

Available to Order - This title is available to order, with delivery expected within 2 weeks

Book (Paperback / softback)

Add to Basket
Showing 1 - 2 (of 2)
Refine