Akademibokhandeln

Supratik Mukhopadhyay – författare

Visar alla böcker från författaren Supratik Mukhopadhyay.

1 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

    739 kr

    Lägg i varukorg