Akademibokhandeln

Yliès Falcone – författare

Visar alla böcker från författaren Yliès Falcone.

4 produkter

  1. Ezio Bartocci, Yliès Falcone, Martin Leucker - Formal Methods in Outer Space, Häftad. Tillgänglighet: Lägg i varukorg

    Formal Methods in Outer Space

    Essays Dedicated to Klaus Havelund on the Occasion of His 65th Birthday

    Av Ezio Bartocci, Yliès Falcone m. fl.

    Häftad, 2021

    809 kr

    Lägg i varukorg

  2. Yliès Falcone, César Sánchez - Runtime Verification, Häftad. Tillgänglighet: Lägg i varukorg

    Runtime Verification

    16th International Conference, RV 2016, Madrid, Spain, September 23–30, 2016, Proceedings

    Av Yliès Falcone, César Sánchez

    Häftad, 2016

    739 kr

    Lägg i varukorg

  3. Ezio Bartocci, Yliès Falcone - Lectures on Runtime Verification, Häftad. Tillgänglighet: Lägg i varukorg

    Lectures on Runtime Verification

    Introductory and Advanced Topics

    Av Ezio Bartocci, Yliès Falcone

    Häftad, 2018

    959 kr

    Lägg i varukorg

  4. Howard Barringer, Ylies Falcone, Bernd Finkbeiner, Klaus Havelund, Insup Lee, Gordon Pace, Grigore Rosu, Oleg Sokolsky, Nikolai Tillmann - Runtime Verification, Häftad. Tillgänglighet: Lägg i varukorg

    Runtime Verification

    First International Conference, RV 2010, St. Julians, Malta, November 1-4, 2010. Proceedings

    Av Howard Barringer, Ylies Falcone m. fl.

    Häftad, 2010

    739 kr

    Lägg i varukorg