Logic, Rewriting, and Concurrency

Symposium in Honor of José Meseguer on the Occasion of His 65th Birthday, Urbana, IL, USA, September 23-25, 2015, Proceedings

Lecture Notes in Computer Science .9200

Herausgegeben von Mart&iacute -Oliet, Narciso OElveczky, Peter Csaba

出版社：Springer, Berlin; Springer International Publishing 出版年月：2015年 08月
装丁：PAP 版次：1st ed. 2015. 2015. xi

税込価格：

11,787円

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

Formal Methods: Foundations and Applications

17th Brazilian Symposium, SBMF 2014, Maceió, AL, Brazil, September 29--October 1, 2014. Proceedings

Lecture Notes in Computer Science / Programming and Software Engineering .8941

Herausgegeben von Braga, Christiano Mart&iacute -Oliet, Narciso

出版社：Springer, Berlin; Springer International Publishing 出版年月：2015年 01月
装丁：PAP 言語：ENG 版次：2015. 2015. ix

税込価格：

9,431円

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

Rewriting Logic and Its Applications

15th International Workshop, WRLA 2024, Luxembourg City, Luxembourg, April 6-7, 2024, Revised Selected Papers

Lecture Notes in Computer Science 14953

Herausgegeben:Ogata, Kazuhiro Mart&iacute -Oliet, Narciso

出版社：Springer, Berlin; Springer Nature Switzerland; Spring 出版年月：2024年 00月
装丁：PAP 言語：ENG 版次：2024. 2024. x

税込価格：

13,674円

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

Rewriting Logic and Its Applications

13th International Workshop, WRLA 2020, Virtual Event, October 20-22, 2020, Revised Selected Papers

Lecture Notes in Computer Science 12328

Herausgegeben:Escobar, Santiago Mart&iacute -Oliet, Narciso

出版社：Springer, Berlin; Springer International Publishing; 出版年月：2020年 00月
装丁：PAP 言語：ENG 版次：1st ed. 2020. 2020. vii

税込価格：

11,787円

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