Bokus

Marco Autili – författare

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

2 produkter

  1. Antonio Cerone, Marco Autili, Alessio Bucaioni, Cláudio Gomes, Pierluigi Graziani, Maurizio Palmieri, Marco Temperini, Gentiane Venture - Software Engineering and Formal Methods. SEFM 2021 Collocated Workshops, Häftad. Tillgänglighet: Lägg i varukorg

    Software Engineering and Formal Methods. SEFM 2021 Collocated Workshops

    CIFMA, CoSim-CPS, OpenCERT, ASYDE, Virtual Event, December 6–10, 2021, Revised Selected Papers

    Av Antonio Cerone, Marco Autili m. fl.

    Häftad, 2022

    552 kr

    Lägg i varukorg

    This volume constitutes revised selected papers from the four workshops collocated with the 19th International Conference on Software Engineering and Formal Methods, SEFM 2021, held virtually during December 6–10, 2021.The 21 contributed papers presented in this volume were carefully reviewed and …

  2. Gentiane Venture, Marco Temperini, Maurizio Palmieri, Pierluigi Graziani, Claudio Gomes, Alessio Bucaioni, Marco Autili, Antonio Cerone - Software Engineering and Formal Methods. SEFM 2021 Collocated Workshops, E-bok. Tillgänglighet: Lägg i varukorg

    Software Engineering and Formal Methods. SEFM 2021 Collocated Workshops

    CIFMA, CoSim-CPS, OpenCERT, ASYDE, Virtual Event, December 6–10, 2021, Revised Selected Papers

    Av Gentiane Venture, Marco Temperini m. fl.

    E-bok, 2022

    718 kr

    Lägg i varukorg

    This volume constitutes revised selected papers from the four workshops collocated with the 19th International Conference on Software Engineering and Formal Methods, SEFM 2021, held virtually during December 6–10, 2021. The 21 contributed papers presented in this volume were carefully reviewed and …