Bokus

Gordon Pace – författare

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

2 produkter

  1. 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

    569 kr

    Lägg i varukorg

    This volume contains the proceedings of the 2010 Runtime Veri?cation conf- ence (RV 2010), which was held in St. Julians, Malta on November 1-4, 2010. The conference program included a mix of invited talks and peer reviewed p- sentations, tutorials, and tool demonstrations. The 2010 Runtime …

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

    Runtime Verification

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

    Av Nikolai Tillmann, Oleg Sokolsky m. fl.

    E-bok, 2010

    755 kr

    Lägg i varukorg