Zhong Shao – författare
Visar alla böcker från författaren Zhong Shao. Handla med fri frakt och snabb leverans.
6 produkter
Programming Languages and Systems
5th Asian Symposium, APLAS 2007, Singapore, November 28-December 1, 2007, Proceedings
Av Zhong Shao
Häftad, 2007
569 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 5th Asian Symposium on Programming Languages and Systems, APLAS 2007, held in Singapore, in November/December 2007. The 25 revised full papers presented together with three invited talks were carefully reviewed and selected from 84 submissions. …
Programming Languages and Systems
5th Asian Symposium, APLAS 2007, Singapore, November 28-December 1, 2007, Proceedings
Av Zhong Shao
E-bok, 2007
739 kr
Lägg i varukorg
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
569 kr
Lägg i varukorg
This book constitutes the referred proceedings of the First International Conference on Certified Programs and Proofs, CPP 2011, held in Kenting, Taiwan, in December 2011. The 24 revised regular papers presented together with 4 invited talks were carefully reviewed and selected from 49 submissions. …
Certified Programs and Proofs
First International Conference, CPP 2011, Kenting, Taiwan, December 7-9, 2011, Proceedings
Av Zhong Shao, Jean-Pierre Jouannaud
E-bok, 2011
755 kr
Lägg i varukorg
This book constitutes the referred proceedings of the First International Conference on Certified Programs and Proofs, CPP 2011, held in Kenting, Taiwan, in December 2011. The 24 revised regular papers presented together with 4 invited talks were carefully reviewed and selected from 49 submissions. …
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
569 kr
Lägg i varukorg
This book constitutes the proceedings of the 23rd European Symposium on Programming, ESOP 2014, which took place in Grenoble, France, in April 2014, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014. The 27 papers presented in this volume were carefully …
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
E-bok, 2014
732 kr
Lägg i varukorg
This book constitutes the proceedings of the 23rd European Symposium on Programming, ESOP 2014, which took place in Grenoble, France, in April 2014, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014. The 27 papers presented in this volume were carefully …
