Igor Siveroni – författare

Visar alla böcker från författaren Igor Siveroni. Handla med fri frakt och snabb leverans.

2 produkter

1. 

   Static Analysis

   12th International Symposium, SAS 2005, London, UK, September 7-9, 2005, Proceedings

   Av Chris Hankin, Igor Siveroni

   Häftad, 2005

   567 kr

   Lägg i varukorg

   Static analysis allows us to determine aspects of the dynamic behavior of p- grams and systems without actually executing them. Traditionally used in - timizing compilers, static analysis is now also used extensively in veri?cation, software certi?cation and semantics-based manipulation. The …

2. 

   Static Analysis

   12th International Symposium, SAS 2005, London, UK, September 7-9, 2005, Proceedings

   Av Igor Siveroni, Chris Hankin

   E-bok, 2005

   755 kr

   Lägg i varukorg