Zhong Shao - Böcker

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

3 produkter

Kategorier

3 produkter

Programming Languages and Systems

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

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

Av Jean-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

Häftad, Engelska, 2014

729 kr

Skickas inom 10-15 vardagar