Bokus

Josh Berdine – författare

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

2 produkter

  1. Roberto Giacobazzi, Josh Berdine, Isabella Mastroeni - Verification, Model Checking, and Abstract Interpretation, Häftad. Tillgänglighet: Lägg i varukorg

    Verification, Model Checking, and Abstract Interpretation

    14th International Conference, VMCAI 2013, Rome, Italy, January 20-22, 2013, Proceedings

    Av Roberto Giacobazzi, Josh Berdine m. fl.

    Häftad, 2013

    569 kr

    Lägg i varukorg

    This book constitutes the refereed proceedings of the 14th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2013, held in Rome, Italy, in January 2013, co-located with the Symposium on Principles of Programming Languages, POPL 2013. The 27 revised full …

  2. Isabella Mastroeni, Josh Berdine, Roberto Giacobazzi - Verification, Model Checking, and Abstract Interpretation, E-bok. Tillgänglighet: Lägg i varukorg

    Verification, Model Checking, and Abstract Interpretation

    14th International Conference, VMCAI 2013, Rome, Italy, January 20-22, 2013, Proceedings

    Av Isabella Mastroeni, Josh Berdine m. fl.

    E-bok, 2013

    755 kr

    Lägg i varukorg

    This book constitutes the refereed proceedings of the 14th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2013, held in Rome, Italy, in January 2013, co-located with the Symposium on Principles of Programming Languages, POPL 2013. The 27 revised full …