Bokus

Kousha Etessami – författare

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

2 produkter

  1. Kousha Etessami, Sriram K. Rajamani - Computer Aided Verification, Häftad. Tillgänglighet: Lägg i varukorg

    Computer Aided Verification

    17th International Conference, CAV 2005, Edinburgh, Scotland, UK, July 6-10, 2005, Proceedings

    Av Kousha Etessami, Sriram K. Rajamani

    Häftad, 2005

    1129 kr

    Lägg i varukorg

    This volume contains the proceedings of the International Conference on Computer Aided Veri?cation (CAV), held in Edinburgh, Scotland, July 6–10, 2005. CAV 2005 was the seventeenth in a series of conferences dedicated to the advancement of the theory and practice of computer-assisted formal an- …

  2. Sriram K. Rajamani, Kousha Etessami - Computer Aided Verification, E-bok. Tillgänglighet: Lägg i varukorg

    Computer Aided Verification

    17th International Conference, CAV 2005, Edinburgh, Scotland, UK, July 6-10, 2005, Proceedings

    Av Sriram K. Rajamani, Kousha Etessami

    E-bok, 2005

    1470 kr

    Lägg i varukorg

    This volume contains the proceedings of the International Conference on Computer Aided Veri?cation (CAV), held in Edinburgh, Scotland, July 6–10, 2005. CAV 2005 was the seventeenth in a series of conferences dedicated to the advancement of the theory and practice of computer-assisted formal an- …