Recent Trends in Algebraic Development Techniques
22nd International Workshop, WADT 2014, Sinaia, Romania, September 4-7, 2014, Revised Selected Papers
Lecture Notes in Computer Science .9463
Herausgegeben von Codescu, Mihai
Diaconescu, Razvan
Tutu, Ionut
- 出版社：Springer, Berlin
- 出版年月：2015年 12月
- ISBN：9783319281131
- 装丁：PAP
-
装丁について
- 言語：ENG
- 版次：2016. ix