Zhong Shao – författare

Visar alla böcker från författaren Zhong Shao.

3 produkter

1. 

   Programming Languages and Systems

   5th Asian Symposium, APLAS 2007, Singapore, November 28-December 1, 2007, Proceedings

   Av Zhong Shao

   Häftad, 2007

   739 kr

   Lägg i varukorg

2. 

   Certified Programs and Proofs

   First International Conference, CPP 2011, Kenting, Taiwan, December 7-9, 2011, Proceedings

   Av Jean-Pierre Jouannaud, Zhong Shao

   Häftad, 2011

   739 kr

   Lägg i varukorg

3. 

   Programming Languages and Systems

   23rd European Symposium on Programming, ESOP 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings

   Av Zhong Shao

   Häftad, 2014

   739 kr

   Lägg i varukorg