Francesco Logozzo – författare

Visar alla böcker från författaren Francesco Logozzo.

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

   739 kr

   Lägg i varukorg

2. 

   Static Analysis

   20th International Symposium, SAS 2013, Seattle, WA, USA, June 20-22, 2012, Proceedings

   Av Francesco Logozzo, Manuel Fähndrich

   Häftad, 2013

   739 kr

   Lägg i varukorg