Sale!

Certified Programs and Proofs Third International Conference CPP 2013 Melbourne VIC Australia December 11 13 2013 Proceedings 1st Edition Daniel R. Licata

Original price was: $50.00.Current price is: $25.00.

Certified Programs and Proofs Third International Conference CPP 2013 Melbourne VIC Australia December 11 13 2013 Proceedings 1st Edition Daniel R. Licata Digital Instant Download

Author(s): Daniel R. Licata, Guillaume Brunerie (auth.), Georges Gonthier, Michael Norrish (eds.)
ISBN(s): 9783319035444, 9783319035451, 3319035444, 3319035452
Edition: 1
File Details: PDF, 3.54 MB
Year: 2013
Language: English
SKU: EB-4601950 Category: Tags: , , ,

Certified Programs and Proofs Third International Conference CPP 2013 Melbourne VIC Australia December 11 13 2013 Proceedings 1st Edition Daniel R. Licata – Ebook Instant Download/Delivery ISBN(s): 9783319035444,9783319035451,3319035444,3319035452

You may also like…

Sale!
Quick View

Computers - Computer Science

Principles of Distributed Systems 17th International Conference OPODIS 2013 Nice France December 16 18 2013 Proceedings 1st Edition Hein Meling

Original price was: $50.00.Current price is: $25.00.
Sale!
Quick View

Computers - Networking

Sequences and Their Applications SETA 2014 8th International Conference Melbourne VIC Australia November 24 28 2014 Proceedings 1st Edition Kai-Uwe Schmidt

Original price was: $50.00.Current price is: $25.00.
Sale!
Quick View

Computers - Networking

Digital Libraries Social Media and Community Networks 15th International Conference on Asia Pacific Digital Libraries ICADL 2013 Bangalore India December 9 11 2013 Proceedings 1st Edition K. Saruladha

Original price was: $50.00.Current price is: $25.00.
Sale!
Quick View

Computers - Computer Science

Swarm Evolutionary and Memetic Computing 4th International Conference SEMCCO 2013 Chennai India December 19 21 2013 Proceedings Part I 1st Edition M. Fatih Tasgetiren

Original price was: $50.00.Current price is: $25.00.
Sale!
Quick View

Mathematics

Decision and Game Theory for Security 4th International Conference GameSec 2013 Fort Worth TX USA November 11 12 2013 Proceedings 1st Edition Emrah Akyol

Original price was: $50.00.Current price is: $25.00.
Sale!
Quick View

Computers - Computer Science

Ambient Intelligence 4th International Joint Conference AmI 2013 Dublin Ireland December 3 5 2013 Proceedings 1st Edition Serge Autexier

Original price was: $50.00.Current price is: $25.00.
Sale!
Quick View

Computers - Networking

Progress in Cryptology INDOCRYPT 2013 14th International Conference on Cryptology in India Mumbai India December 7 10 2013 Proceedings 1st Edition Yoshinori Aono

Original price was: $50.00.Current price is: $25.00.
Sale!
Quick View

Computers - Networking

Big Data Analytics Second International Conference BDA 2013 Mysore India December 16 18 2013 Proceedings 1st Edition Sameep Mehta

Original price was: $50.00.Current price is: $25.00.
Sale!
Quick View

Computers

Computational Science and Its Applications ICCSA 2018 18th International Conference Melbourne VIC Australia July 2 5 2018 Proceedings Part III Osvaldo Gervasi

Original price was: $50.00.Current price is: $25.00.