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 - 16 (of 16)
Refine
Formal Techniques for Distributed Objects, Components, and Systems : 43rd IFIP WG 6.1 International Conference, FORTE 2023, Held as Part of the 18th International Federated Conference on Distributed C - Book

Formal Techniques for Distributed Objects, Components, and Systems : 43rd IFIP WG 6.1 International Conference, FORTE 2023, Held as Part of the 18th International Federated Conference on Distributed C

Marieke Huisman

Out of stock

Format: Book (Paperback / softback)

£54.99

£49.15

Out of stock

Book (Paperback / softback)

Add to Basket
Tools and Algorithms for the Construction and Analysis of Systems : 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS - Book

Tools and Algorithms for the Construction and Analysis of Systems : 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS

Marieke Huisman

Item not Available

Format: Book (Paperback / softback)

£42.95

Item not Available

Book (Paperback / softback)

Item not Available
Tools and Algorithms for the Construction and Analysis of Systems : 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS - Book

Tools and Algorithms for the Construction and Analysis of Systems : 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS

Marieke Huisman

Item not Available

Format: Book (Hardback)

£46.95

Item not Available

Book (Hardback)

Item not Available
Tools and Algorithms for the Construction and Analysis of Systems : 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS - Book

Tools and Algorithms for the Construction and Analysis of Systems : 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS

Marieke Huisman

Item not Available

Format: Book (Paperback / softback)

£44.70

Item not Available

Book (Paperback / softback)

Item not Available
Tools and Algorithms for the Construction and Analysis of Systems : 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS - Book

Tools and Algorithms for the Construction and Analysis of Systems : 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS

Marieke Huisman

Item not Available

Format: Book (Hardback)

£48.70

Item not Available

Book (Hardback)

Item not Available
Tools and Algorithms for the Construction and Analysis of Systems : 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part III - Book

Tools and Algorithms for the Construction and Analysis of Systems : 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part III

Dirk, Ph. D. Beyer

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
Formal Methods : 24th International Symposium, FM 2021, Virtual Event, November 20–26, 2021, Proceedings - Book

Formal Methods : 24th International Symposium, FM 2021, Virtual Event, November 20–26, 2021, Proceedings

Marieke Huisman

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

Format: Book (Paperback / softback)

£99.99

£87.29

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

Book (Paperback / softback)

Add to Basket
Formal Methods for Industrial Critical Systems : 27th International Conference, FMICS 2022, Warsaw, Poland, September 14-15, 2022, Proceedings - Book

Formal Methods for Industrial Critical Systems : 27th International Conference, FMICS 2022, Warsaw, Poland, September 14-15, 2022, Proceedings

Jan Friso Groote

Out of stock

Format: Book (Paperback / softback)

£54.99

£49.15

Out of stock

Book (Paperback / softback)

Add to Basket
Fundamental Approaches to Software Engineering : 20th International Conference, FASE 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Swede - Book

Fundamental Approaches to Software Engineering : 20th International Conference, FASE 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Swede

Marieke Huisman

Item not Available

Format: Book (Paperback / softback)

£59.99

£49.99

Item not Available

Book (Paperback / softback)

Item not Available
Tools and Algorithms for the Construction and Analysis of Systems : 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS - Book

Tools and Algorithms for the Construction and Analysis of Systems : 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS

Dirk, Ph. D. Beyer

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
Tools and Algorithms for the Construction and Analysis of Systems : 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS - Book

Tools and Algorithms for the Construction and Analysis of Systems : 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS

Dirk, Ph. D. Beyer

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
Construction and Analysis of Safe, Secure, and Interoperable Smart Devices : International Workshop, CASSIS 2004, Marseille, France, March 10-14, 2004, Revised Selected Papers - eBook

Construction and Analysis of Safe, Secure, and Interoperable Smart Devices : International Workshop, CASSIS 2004, Marseille, France, March 10-14, 2004, Revised Selected Papers

Gilles Barthe

Download - Immediately Available

Format: eBook (PDF)

£44.99

£38.24

Download - Immediately Available

eBook (PDF)

Add to Basket
Construction and Analysis of Safe, Secure, and Interoperable Smart Devices : Second International Workshop, CASSIS 2005, Nice, France, March 8-11, 2005, Revised Selected Papers - Book

Construction and Analysis of Safe, Secure, and Interoperable Smart Devices : Second International Workshop, CASSIS 2005, Nice, France, March 8-11, 2005, Revised Selected Papers

Gilles Barthe

Item not Available

Format: Book (Paperback / softback)

£58.99

£49.19

Item not Available

Book (Paperback / softback)

Item not Available
Construction and Analysis of Safe, Secure, and Interoperable Smart Devices : Second International Workshop, CASSIS 2005, Nice, France, March 8-11, 2005, Revised Selected Papers - eBook

Construction and Analysis of Safe, Secure, and Interoperable Smart Devices : Second International Workshop, CASSIS 2005, Nice, France, March 8-11, 2005, Revised Selected Papers

Gilles Barthe

Download - Immediately Available

Format: eBook (PDF)

£44.99

£38.24

Download - Immediately Available

eBook (PDF)

Add to Basket
Integrated Formal Methods : 12th International Conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016, Proceedings - Book

Integrated Formal Methods : 12th International Conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016, Proceedings

Erika Abraham

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

Format: Book (Paperback / softback)

£69.99

£61.85

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

Book (Paperback / softback)

Add to Basket
Integrated Formal Methods : 12th International Conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016, Proceedings - eBook

Integrated Formal Methods : 12th International Conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016, Proceedings

Erika Abraham

Download - Immediately Available

Format: eBook (PDF)

£69.99

£59.49

Download - Immediately Available

eBook (PDF)

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