Principles of Model Checking
Christel (Technische Universitat Dresden) Baier
In StockFree UK DeliveryEstimated delivery 2-3 working days
Format: Book (Hardback)
£105.00
£68.01
In StockFree UK DeliveryEstimated delivery 2-3 working days
Book (Hardback)
Add to Basket
Formal Methods for Industrial Critical Systems : 24th International Conference, FMICS 2019, Amsterdam, The Netherlands, August 30–31, 2019, Proceedings
Kim Guldstrand Larsen
Available to Order - This title is available to order, with delivery expected within 2 weeks
Format: Book (Paperback / softback)
£44.99
£33.84
Available to Order - This title is available to order, with delivery expected within 2 weeks
Book (Paperback / softback)
Add to Basket
Tools and Algorithms for the Construction and Analysis of Systems : 27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS
Jan Friso Groote
Available to Order - This title is available to order, with delivery expected within 2 weeks
Format: Book (Paperback / softback)
£34.99
£26.88
Available to Order - This title is available to order, with delivery expected within 2 weeks
Book (Paperback / softback)
Add to Basket
Tools and Algorithms for the Construction and Analysis of Systems : 27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS
Jan Friso Groote
Available to Order - This title is available to order, with delivery expected within 2 weeks
Format: Book (Paperback / softback)
£34.99
£26.88
Available to Order - This title is available to order, with delivery expected within 2 weeks
Book (Paperback / softback)
Add to Basket
Reachability Problems : 10th International Workshop, RP 2016, Aalborg, Denmark, September 19-21, 2016, Proceedings
Kim Guldstrand Larsen
Available to Order - This title is available to order, with delivery expected within 2 weeks
Format: Book (Paperback / softback)
£44.99
£33.84
Available to Order - This title is available to order, with delivery expected within 2 weeks
Book (Paperback / softback)
Add to Basket
Reachability Problems : 10th International Workshop, RP 2016, Aalborg, Denmark, September 19-21, 2016, Proceedings
Kim Guldstrand Larsen
Download Now
Format: eBook (PDF)
Dependable Software Engineering. Theories, Tools, and Applications : Third International Symposium, SETTA 2017, Changsha, China, October 23-25, 2017, Proceedings
Kim Guldstrand Larsen
Available to Order - This title is available to order, with delivery expected within 2 weeks
Format: Book (Paperback / softback)
£44.99
£33.84
Available to Order - This title is available to order, with delivery expected within 2 weeks
Book (Paperback / softback)
Add to Basket