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 - 8 (of 8)
Refine
Scenarios: Models, Transformations and Tools : International Workshop, Dagstuhl Castle, Germany, September 7-12, 2003, Revised Selected Papers - Book

Scenarios: Models, Transformations and Tools : International Workshop, Dagstuhl Castle, Germany, September 7-12, 2003, Revised Selected Papers

Stefan Leue

Item not Available

Format: Book (Paperback / softback)

£62.99

£52.35

Item not Available

Book (Paperback / softback)

Item not Available
Scenarios: Models, Transformations and Tools : International Workshop, Dagstuhl Castle, Germany, September 7-12, 2003, Revised Selected Papers - eBook

Scenarios: Models, Transformations and Tools : International Workshop, Dagstuhl Castle, Germany, September 7-12, 2003, Revised Selected Papers

Stefan Leue

Download - Immediately Available

Format: eBook (PDF)

£44.99

£38.24

Download - Immediately Available

eBook (PDF)

Add to Basket
Model Checking Software : 9th International SPIN Workshop Grenoble, France, April 11-13, 2002 Proceedings - Book

Model Checking Software : 9th International SPIN Workshop Grenoble, France, April 11-13, 2002 Proceedings

Dragan Bosnacki

Item not Available

Format: Book (Paperback / softback)

£62.99

£52.35

Item not Available

Book (Paperback / softback)

Item not Available
Model Checking Software : 9th International SPIN Workshop Grenoble, France, April 11-13, 2002 Proceedings - eBook

Model Checking Software : 9th International SPIN Workshop Grenoble, France, April 11-13, 2002 Proceedings

Dragan Bosnacki

Download - Immediately Available

Format: eBook (PDF)

£44.99

£38.24

Download - Immediately Available

eBook (PDF)

Add to Basket
Theoretical and Practical Aspects of SPIN Model Checking : 5th and 6th International SPIN Workshops, Trento, Italy, July 5, 1999, Toulouse, France, September 21 and 24, 1999, Proceedings - eBook

Theoretical and Practical Aspects of SPIN Model Checking : 5th and 6th International SPIN Workshops, Trento, Italy, July 5, 1999, Toulouse, France, September 21 and 24, 1999, Proceedings

Dennis Dams

Download - Immediately Available

Format: eBook (PDF)

£44.99

£38.24

Download - Immediately Available

eBook (PDF)

Add to Basket
Theoretical and Practical Aspects of SPIN Model Checking : 5th and 6th International SPIN Workshops, Trento, Italy, July 5, 1999, Toulouse, France, September 21 and 24, 1999, Proceedings - Book

Theoretical and Practical Aspects of SPIN Model Checking : 5th and 6th International SPIN Workshops, Trento, Italy, July 5, 1999, Toulouse, France, September 21 and 24, 1999, Proceedings

Dennis Dams

Item not Available

Format: Book (Paperback / softback)

£62.99

£52.35

Item not Available

Book (Paperback / softback)

Item not Available
Formal Methods for Industrial Critical Systems : 12th International Workshop, FMICS 2007, Berlin, Germany, July 1-2, 2007, Revised Selected Papers - Book

Formal Methods for Industrial Critical Systems : 12th International Workshop, FMICS 2007, Berlin, Germany, July 1-2, 2007, Revised Selected Papers

Stefan Leue

Item not Available

Format: Book (Paperback / softback)

£59.99

£49.99

Item not Available

Book (Paperback / softback)

Item not Available
Formal Methods for Industrial Critical Systems : 12th International Workshop, FMICS 2007, Berlin, Germany, July 1-2, 2007, Revised Selected Papers - eBook

Formal Methods for Industrial Critical Systems : 12th International Workshop, FMICS 2007, Berlin, Germany, July 1-2, 2007, Revised Selected Papers

Stefan Leue

Download - Immediately Available

Format: eBook (PDF)

£44.99

£38.24

Download - Immediately Available

eBook (PDF)

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