Certified Programs and Proofs : Third International Conference, CPP 2013, Melbourne, Australia, December 11-13,2013, Proceedings (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues .8307) (2013. 2013. xii, 309 S. 44 SW-Abb

Name: Certified Programs and Proofs : Third International Conference, CPP 2013, Melbourne, Australia, December 11-13,2013, Proceedings (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues .8307) (2013. 2013. xii, 309 S. 44 SW-Abb
Brand: SPRINGER, BERLIN; SPRINGER INTERNATIONAL PUBLISHING
SKU: 00000_00000_00000_00000
Price: 107.69 AUD
Availability: InStock

Herausgegeben von Gonthier, Georges/ Norrish, Michael

107.69 AUD

Member Price

96.93

Quantity:

Publisher

SPRINGER, BERLIN; SPRINGER INTERNATIONAL PUBLISHING

Publication Date

Nov 2013

ISBN

9783319035444

Pages

Item Type

Book

Format

Paperback

Availability Status

Usually dispatches within 3-4 weeks

While every attempt has been made to ensure stock availability, occasionally we may run out of stock at our stores.

Free domestic shipping on orders over 99.00AUD

Your Cart

Certified Programs and Proofs : Third International Conference, CPP 2013, Melbourne, Australia, December 11-13,2013, Proceedings (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues .8307) (2013. 2013. xii, 309 S. 44 SW-Abb

Availability Status

Certified Programs and Proofs : Third International Conference, CPP 2013, Melbourne, Australia, December 11-13,2013, Proceedings (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues .8307) (2013. 2013. xii, 309 S. 44 SW-Abb

Recently Viewed Items

Related Products