Bokus

Byron Cook – författare

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

6 produkter

  1. Byron Cook, Andreas Podelski - Verification, Model Checking, and Abstract Interpretation, Häftad. Tillgänglighet: Lägg i varukorg

    Verification, Model Checking, and Abstract Interpretation

    8th International Conference, VMCAI 2007, Nice, France, January 14-16, 2007, Proceedings

    Av Byron Cook, Andreas Podelski

    Häftad, 2007

    568 kr

    Lägg i varukorg

    The book constitutes the refereed proceedings of the 7th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2007, held in Nice, France in January 2007. This event was co-located with the Symposium on Principles of Programming Languages (POPL 2007). The 21 …

  2. Andreas Podelski, Byron Cook - Verification, Model Checking, and Abstract Interpretation, E-bok. Tillgänglighet: Lägg i varukorg

    Verification, Model Checking, and Abstract Interpretation

    8th International Conference, VMCAI 2007, Nice, France, January 14-16, 2007, Proceedings

    Av Andreas Podelski, Byron Cook

    E-bok, 2007

    755 kr

    Lägg i varukorg

  3. María Alpuente, Byron Cook, Christophe Joubert - Formal Methods for Industrial Critical Systems, Häftad. Tillgänglighet: Lägg i varukorg

    Formal Methods for Industrial Critical Systems

    14th International Workshop, FMICS 2009, Eindhoven, The Netherlands, November 2-3, 2009, Proceedings

    Av María Alpuente, Byron Cook m. fl.

    Häftad, 2009

    568 kr

    Lägg i varukorg

    This book constitutes the proceedings of the 14th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2009 held in Eindhoven, The Netherlands, in November 2009. The 10 papers presented were carefully reviewed and selected from 25 submissions. The volume also contains …

  4. Christophe Joubert, Byron Cook, Maria Alpuente - Formal Methods for Industrial Critical Systems, E-bok. Tillgänglighet: Lägg i varukorg

    Formal Methods for Industrial Critical Systems

    14th International Workshop, FMICS 2009, Eindhoven, The Netherlands, November 2-3, 2009, Proceedings

    Av Christophe Joubert, Byron Cook m. fl.

    E-bok, 2009

    739 kr

    Lägg i varukorg

    This book constitutes the proceedings of the 14th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2009 held in Eindhoven, The Netherlands, in November 2009. The 10 papers presented were carefully reviewed and selected from 25 submissions. The volume also contains …

  5. Tayssir Touili, Byron Cook, Paul Jackson - Computer Aided Verification, Häftad. Tillgänglighet: Lägg i varukorg

    Computer Aided Verification

    22nd International Conference, CAV 2010, Edinburgh, UK, July 15-19, 2010, Proceedings

    Av Tayssir Touili, Byron Cook m. fl.

    Häftad, 2010

    1128 kr

    Lägg i varukorg

    This volume contains the proceedings of the 22nd International Conference on Computer-Aided Veri?cation (CAV) held in Edinburgh, UK, July 15-19 2010. CAV is dedicated to the advancement of the theory and practice of comput- assistedformalanalysismethods forsoftwareandhardwaresystems.Theconf- ence …

  6. Paul Jackson, Byron Cook, Tayssir Touili - Computer Aided Verification, E-bok. Tillgänglighet: Lägg i varukorg

    Computer Aided Verification

    22nd International Conference, CAV 2010, Edinburgh, UK, July 15-19, 2010, Proceedings

    Av Paul Jackson, Byron Cook m. fl.

    E-bok, 2010

    1459 kr

    Lägg i varukorg