Geguang Pu – författare

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

2 produkter

1. 

   Automated Technology for Verification and Analysis

   13th International Symposium, ATVA 2015, Shanghai, China, October 12-15, 2015, Proceedings

   Av Bernd Finkbeiner, Geguang Pu m. fl.

   Häftad, 2015

   564 kr

   Lägg i varukorg

   This book constitutes the proceedings of the 13th International Symposium on Automated Technology for Verification and Analysis, ATVA 2015, held in Shanghai, China, in October 2015.The 27 revised papers presented together with 6 tool papers in this volume were carefully reviewed and selected from …

2. 

   Automated Technology for Verification and Analysis

   13th International Symposium, ATVA 2015, Shanghai, China, October 12-15, 2015, Proceedings

   Av Lijun Zhang, Geguang Pu m. fl.

   E-bok, 2015

   739 kr

   Lägg i varukorg

   This book constitutes the proceedings of the 13th International Symposium on Automated Technology for Verification and Analysis, ATVA 2015, held in Shanghai, China, in October 2015. The 27 revised papers presented together with 6 tool papers in this volume were carefully reviewed and selected from …