Buy Used and New ZhongShao Books

Programming Languages and Systems: 5th Asian Symposium, APLAS 2007, Singapore, November 28-December 1, 2007, Proceedings (Lecture Notes in Computer Science / Programming and Software Engineering)

by

ISBN 13: 9783540766360

Format: Paperback (431 pages)
Publisher: Springer
Published: 07 Nov 2007

Save for later

Certified Programs and Proofs: First International Conference, CPP 2011, Kenting, Taiwan, December 7-9, 2011, Proceedings (Lecture Notes in Computer ... Computer Science and General Issues)

by

ISBN 13: 9783642253782

Format: Paperback (401 pages)
Publisher: Springer
Published: 18 Nov 2011

Save for later