Bokus

Alberto Lluch Lafuente

Visar alla böcker från författaren Alberto Lluch Lafuente. Handla med fri frakt och snabb leverans.

  1. Formal Methods for Industrial Critical Systems

    Formal Methods for Industrial Critical Systems

    2021

  2. Trustworthy Global Computing

    Trustworthy Global Computing

    2014

  3. Coordination Models and Languages

    Coordination Models and Languages

    2016