Bokus

Nicolas Markey – författare

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

2 produkter

  1. Martin Fränzle, Nicolas Markey - Formal Modeling and Analysis of Timed Systems, Häftad. Tillgänglighet: Lägg i varukorg

    Formal Modeling and Analysis of Timed Systems

    14th International Conference, FORMATS 2016, Quebec, QC, Canada, August 24-26, 2016, Proceedings

    Av Martin Fränzle, Nicolas Markey

    Häftad, 2016

    569 kr

    Lägg i varukorg

    This book constitutes the refereed proceedings of the 14th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2016, held in Quebec, QC, Canada, in August 2016. The 14 papers presented in this volume were carefully reviewed and selected from 32 initial submissions. …

  2. Nicolas Markey, Martin Franzle - Formal Modeling and Analysis of Timed Systems, E-bok. Tillgänglighet: Lägg i varukorg

    Formal Modeling and Analysis of Timed Systems

    14th International Conference, FORMATS 2016, Quebec, QC, Canada, August 24-26, 2016, Proceedings

    Av Nicolas Markey, Martin Franzle

    E-bok, 2016

    739 kr

    Lägg i varukorg

    This book constitutes the refereed proceedings of the 14th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2016, held in Quebec, QC, Canada, in August 2016. The 14 papers presented in this volume were carefully reviewed and selected from 32 initial submissions. …