Bokus

Christophe Joubert – författare

Visar alla böcker från författaren Christophe Joubert. Handla med fri frakt och snabb leverans.

2 produkter

  1. María Alpuente, Byron Cook, Christophe Joubert - Formal Methods for Industrial Critical Systems, Häftad. Tillgänglighet: Lägg i varukorg

    Formal Methods for Industrial Critical Systems

    14th International Workshop, FMICS 2009, Eindhoven, The Netherlands, November 2-3, 2009, Proceedings

    Av María Alpuente, Byron Cook m. fl.

    Häftad, 2009

    561 kr

    Lägg i varukorg

    This book constitutes the proceedings of the 14th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2009 held in Eindhoven, The Netherlands, in November 2009. The 10 papers presented were carefully reviewed and selected from 25 submissions. The volume also contains …

  2. Christophe Joubert, Byron Cook, Maria Alpuente - Formal Methods for Industrial Critical Systems, E-bok. Tillgänglighet: Lägg i varukorg

    Formal Methods for Industrial Critical Systems

    14th International Workshop, FMICS 2009, Eindhoven, The Netherlands, November 2-3, 2009, Proceedings

    Av Christophe Joubert, Byron Cook m. fl.

    E-bok, 2009

    739 kr

    Lägg i varukorg

    This book constitutes the proceedings of the 14th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2009 held in Eindhoven, The Netherlands, in November 2009. The 10 papers presented were carefully reviewed and selected from 25 submissions. The volume also contains …