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

  • eBook: Formal Methods for Distributed System Development
    FORTE / PSTV 2000 IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE XIII) and Protocol Specification, Testing and Verification (PSTV XX) October 10–13, 2000, Pisa, Italy
    Tommaso Bolognesi; Diego Latella
    978-0-387-35533-7
    2000
    Edition 1
    €400 €360
    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.