Skip to main content

License single eBooks

Building better eBook deals for libraries

Take our 5-minute survey to help shape smarter, more affordable eBook discounts for your library.

Start survey

Your results

Search and filter

Showing 1 - 1 of 1
0 eBooks €0

  • Joint 21st International Workshop on Formal Methods for Industrial Critical Systems and 16th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2016, Pisa, Italy, September 26-28, 2016, Proceedings
    Maurice H. ter Beek; Stefania Gnesi; Alexander Knapp
    978-3-319-45943-1
    2016
    Edition 1
    • Includes supplementary material: sn.pub/extras
    €100 €90
    10% OFF

Is this helpful?

Survey

Survey to collect feedback on the helpfulness of this page.

Survey

Survey to collect feedback on the helpfulness of this page.