Hoppa till sidans huvudinnehåll

Zhong Shao – författare

Visar alla böcker från författaren Zhong Shao.
3 produkter
Zhong Shao - Programming Languages and Systems, Häftad

Programming Languages and Systems

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

AvZhong Shao

Häftad, Engelska, 2007

739 kr

Skickas inom 10-15 vardagar

Jean-Pierre Jouannaud, Zhong Shao - Certified Programs and Proofs, Häftad

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

739 kr

Skickas inom 10-15 vardagar

Zhong Shao - Programming Languages and Systems, Häftad

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

739 kr

Skickas inom 10-15 vardagar