Zhong Shao – författare

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

3 produkter

Kategorier

3 produkter

Programming Languages and Systems
5th Asian Symposium, APLAS 2007, Singapore, November 28-December 1, 2007, Proceedings
AvZhong Shao
Häftad, Engelska, 2007
729 kr
Skickas inom 10-15 vardagar
Certified Programs and Proofs
First International Conference, CPP 2011, Kenting, Taiwan, December 7-9, 2011, Proceedings
AvJean-Pierre Jouannaud,Zhong Shao
Häftad, Engelska, 2011
729 kr
Skickas inom 10-15 vardagar
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
AvZhong Shao
Häftad, Engelska, 2014
729 kr
Skickas inom 10-15 vardagar