Foundational and Practical Aspects of Resource Analysis

4th International Workshop, FOPARA 2015, London, UK, April 11, 2015. Revised Selected Papers

Lecture Notes in Computer Science .9964

Herausgegeben von van Eekelen, Marko Dal Lago, Ugo

出版社：Springer, Berlin; Springer International Publishing 出版年月：2016年 09月
装丁：PAP 版次：1st ed. 2016. 2016. ix

税込価格：

11,787円

海外在庫あり 通常２～５週間で出荷

Interactive Theorem Proving

Second International Conference, ITP 2011, Berg en Dal, The Netherlands, August 22-25, 2011, Proceedings

Lecture Notes in Computer Science / Theoretical Computer Science and General Issues .6898

Herausgegeben von Van Eekelen, Marko Geuvers, Herman Schmaltz, Julien

出版社：Springer, Berlin 出版年月：2011年 00月
装丁：PAP 版次：2011. X

税込価格：

11,787円

海外在庫あり 通常２～５週間で出荷