Bokus

Lenore D. Zuck – författare

Visar alla böcker från författaren Lenore D. Zuck. Handla med fri frakt och snabb leverans.

2 produkter

  1. Lenore D. Zuck, Paul D. Attie, Agostino Cortesi, Supratik Mukhopadhyay - Verification, Model Checking, and Abstract Interpretation, Häftad. Tillgänglighet: Lägg i varukorg

    Verification, Model Checking, and Abstract Interpretation

    4th International Conference, VMCAI 2003, New York, NY, USA, January 9-11, 2003, Proceedings

    Av Lenore D. Zuck, Paul D. Attie m. fl.

    Häftad, 2002

    567 kr

    Lägg i varukorg

    This volume contains the proceedings of the 4th International Conference on Veri?cation, Model Checking, and Abstract Interpretation (VMCAI 2003), held in New York city, January 9–11, 2003. The purpose of VMCAI was to provide a forum for researchers from three communities—Veri?cation, Model …

  2. Supratik Mukhopadhyay, Agostino Cortesi, Paul D. Attie, Lenore D. Zuck - Verification, Model Checking, and Abstract Interpretation, E-bok. Tillgänglighet: Lägg i varukorg

    Verification, Model Checking, and Abstract Interpretation

    4th International Conference, VMCAI 2003, New York, NY, USA, January 9-11, 2003, Proceedings

    Av Supratik Mukhopadhyay, Agostino Cortesi m. fl.

    E-bok, 2003

    739 kr

    Lägg i varukorg

    This volume contains the proceedings of the 4th International Conference on Veri?cation, Model Checking, and Abstract Interpretation (VMCAI 2003), held in New York city, January 9–11, 2003. The purpose of VMCAI was to provide a forum for researchers from three communities—Veri?cation, Model …