Bokus

Damien Zufferey – författare

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

4 produkter

  1. Majid Zamani, Damien Zufferey - Numerical Software Verification, Häftad. Tillgänglighet: Lägg i varukorg

    Numerical Software Verification

    12th International Workshop, NSV 2019, New York City, NY, USA, July 13–14, 2019, Proceedings

    Av Majid Zamani, Damien Zufferey

    Häftad, 2019

    566 kr

    Lägg i varukorg

    This book constitutes the proceedings of the 12th International Workshop on Numerical Software Verification, NSV 2019, held in New York City, NY, USA, in July 2019 - colocated with the International Conference on Computer Aided Verification, CAV 2019.The 5 full papers presented together with 2 …

  2. Damien Zufferey, Majid Zamani - Numerical Software Verification, E-bok. Tillgänglighet: Lägg i varukorg

    Numerical Software Verification

    12th International Workshop, NSV 2019, New York City, NY, USA, July 13–14, 2019, Proceedings

    Av Damien Zufferey, Majid Zamani

    E-bok, 2019

    739 kr

    Lägg i varukorg

    This book constitutes the proceedings of the 12th International Workshop on Numerical Software Verification, NSV 2019, held in New York City, NY, USA, in July 2019 - colocated with the International Conference on Computer Aided Verification, CAV 2019. The 5 full papers presented together with 2 …

  3. Dirk Beyer, Damien Zufferey - Verification, Model Checking, and Abstract Interpretation, Häftad. Tillgänglighet: Lägg i varukorg

    Verification, Model Checking, and Abstract Interpretation

    21st International Conference, VMCAI 2020, New Orleans, LA, USA, January 16–21, 2020, Proceedings

    Av Dirk Beyer, Damien Zufferey

    Häftad, 2020

    902 kr

    Lägg i varukorg

    This book constitutes the proceedings of the 21st International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2020. The 21 papers presented in this volume were carefully reviewed from 44 submissions. VMCAI provides a forum for researchers from the communities of …

  4. Damien Zufferey, Dirk Beyer - Verification, Model Checking, and Abstract Interpretation, E-bok. Tillgänglighet: Lägg i varukorg

    Verification, Model Checking, and Abstract Interpretation

    21st International Conference, VMCAI 2020, New Orleans, LA, USA, January 16–21, 2020, Proceedings

    Av Damien Zufferey, Dirk Beyer

    E-bok, 2020

    1138 kr

    Lägg i varukorg

    This book constitutes the proceedings of the 21st International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2020. The 21 papers presented in this volume were carefully reviewed from 44 submissions. VMCAI provides a forum for researchers from the communities of …