Leonore D. Zuck – författare

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

2 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

   566 kr

   Lägg i varukorg

   th This volumecontains the proceedingsof the 9 internationalconference onV- i?cation, Model Checking, and Abstract Interpretation (VMCAI 2008), held in San Francisco, January 7-9, 2008. The purpose of VMCAI is to provide a forum for researchers from three communities-Veri?cation, Model Checking, …

2. 

   Verification, Model Checking, and Abstract Interpretation

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

   Av Leonore D. Zuck, Doron A. Peled m. fl.

   E-bok, 2008

   755 kr

   Lägg i varukorg