Tayssir Touili – författare

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

2 produkter

1. 

   Computer Aided Verification

   22nd International Conference, CAV 2010, Edinburgh, UK, July 15-19, 2010, Proceedings

   Av Tayssir Touili, Byron Cook m. fl.

   Häftad, 2010

   1128 kr

   Lägg i varukorg

   This volume contains the proceedings of the 22nd International Conference on Computer-Aided Veri?cation (CAV) held in Edinburgh, UK, July 15-19 2010. CAV is dedicated to the advancement of the theory and practice of comput- assistedformalanalysismethods forsoftwareandhardwaresystems.Theconf- ence …

2. 

   Computer Aided Verification

   22nd International Conference, CAV 2010, Edinburgh, UK, July 15-19, 2010, Proceedings

   Av Paul Jackson, Byron Cook m. fl.

   E-bok, 2010

   1459 kr

   Lägg i varukorg