Omslagafbeelding: Implicit and Explicit Semantics Integration in Proof-Based Developments of Discrete Systems 1st edition 9789811550539

Implicit and Explicit Semantics Integration in Proof-Based Developments of Discrete Systems

Communications of NII Shonan Meetings

1st Editie

eBook

Licentie eTextbook
€29.43 EUR

  • Studietools

    Ingebouwde studiehulpmiddelen zoals markeringen en meer

  • Hardop voorlezen

    Luister en lees mee terwijl Bookshelf voorleest

  • Offline toegang

    Altijd en overal toegang tot je eTextbook

Meer informatie