Leonore D. Zuck – författare

Visar alla böcker från författaren Leonore D. Zuck.

1 produkter

1. 

   Verification, Model Checking, and Abstract Interpretation

   9th International Conference, VMCAI 2008, San Francisco, USA, January 7-9, 2008, Proceedings

   Av Francesco Logozzo, Doron A. Peled m. fl.

   Häftad, 2008

   739 kr

   Lägg i varukorg