Buy Used and New Jean-PierreJouannaud Books

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