Programming Languages and Systems: 13th Asian Symposium, APLAS 2015, Pohang, South Korea, November 30 - December 2, 2015, Proceedings by Xinyu Feng

Programming Languages and Systems: 13th Asian Symposium, APLAS 2015, Pohang, South Korea, November 30 - December 2, 2015, Proceedings



Programming Languages and Systems: 13th Asian Symposium, APLAS 2015, Pohang, South Korea, November 30 - December 2, 2015, Proceedings epub

Programming Languages and Systems: 13th Asian Symposium, APLAS 2015, Pohang, South Korea, November 30 - December 2, 2015, Proceedings Xinyu Feng ebook
ISBN: 9783319265285
Page: 479
Format: pdf
Publisher: Springer International Publishing


Unreleased (Expected: 7 Jan 2016). 7th International Symposium, NFM 2015, Pasadena, CA, USA, April 27-29, 2015, proceedings of the 7th International Symposium on NASA Formal Methods, NFM 2015, Practical Formal Verification of Domain-Specific Language Applications. Magnesium technology 2015 : proceedings of a symposium ; held during of the closing symposium of the DFG Research Unit FOR 1066, December 1 - 2, 2014, Braunschweig, Germany/Radespiel, Rolf. FSCQ provably avoids bugs that have plagued previous file systems Publication count, 2 In Proceedings of the 24th ACM Symposium on Operating Systems In Proceedings of the 13th Asian Symposium on Programming Languages and Systems (APLAS), Pohang, South Korea, Nov.--Dec. Programming Languages and Systems: 13th Asian Symposium, Aplas 2015, Pohang, South Korea, November 30 - December 2, 2015, Proceedings: Amazon. Programming Languages and Systems: 13th Asian Symposium, APLAS 2015, Pohang, South Korea, November 30 - December 2, 2015, Proceedings. Items 3271 - 3285 of 3289 Programming Languages and Systems - Xinyu Feng (Paperback). Adaptive and Autonomic Systems. Generating Modulo-2 Linear Invariants for Hardware Model Checking . Programming Languages and Systems 13th Asian Symposium, APLAS 2015, Pohang, South Korea, November 30 - December 2, 2015, 16th International Conference, PROFES 2015, Bolzano, Italy, December 2-4, 2015, Proceedings. Programming Languages and Systems: 13th Asian Symposium, APLAS 2015, Pohang, South Korea, November 30 - December 2, 2015, Proceedings: 2015. XIV, 694 Seiten; 23.5 cm x 15.5 cm, 2015. Programming Languages and Systems. This book constitutes the refereed proceedings of the 10th International Haifa of testing and verification applicable to software, hardware, and complex hybrid systems. 13th Asian Symposium, Aplas 2015, Pohang, South Korea, November 30 - December 2, 2015, Proceedings. 13th Asian Symposium, APLAS 2015, Pohang, South Korea, November 30 - December 2, 2015, Proceedings. Programming Languages and Systems: 13th Asian Symposium, APLAS 2015, 2015, Pohang, South Korea, November 30 - December 2, 2015, Proceedings.

Other ebooks: