Kazuhiro Ogata – författare
Visar alla böcker från författaren Kazuhiro Ogata. Handla med fri frakt och snabb leverans.
4 produkter
4 produkter
Del 14953 - Lecture Notes in Computer Science
Rewriting Logic and Its Applications
15th International Workshop, WRLA 2024, Luxembourg City, Luxembourg, April 6–7, 2024, Revised Selected Papers
Häftad, Engelska, 2024
620 kr
Skickas inom 10-15 vardagar
This book constitutes revised selected papers from the refereed proceedings of the 15th International Workshop on Rewriting Logic and Its Applications, WRLA 2024, held in Luxembourg City, Luxembourg, during April 6–7, 2024. The 11 full papers included in this book were carefully reviewed and selected from 16 submissions.
Del 10009 - Lecture Notes in Computer Science
Formal Methods and Software Engineering
18th International Conference on Formal Engineering Methods, ICFEM 2016, Tokyo, Japan, November 14-18, 2016, Proceedings
Häftad, Engelska, 2016
551 kr
Skickas inom 10-15 vardagar
This book constitutes the refereed proceedings of the 18th International Conference on Formal Engineering Methods, ICFEM 2016, held in Tokyo, Japan, in November 2016.
551 kr
Skickas inom 10-15 vardagar
This Festschrift volume, published in honor of Kokichi Futatsugi, contains 31 invited contributions from internationally leading researchers in formal methods and software engineering.
Del 15394 - Lecture Notes in Computer Science
Formal Methods and Software Engineering
25th International Conference on Formal Engineering Methods, ICFEM 2024, Hiroshima, Japan, December 2–6, 2024, Proceedings
Häftad, Engelska, 2024
829 kr
Skickas inom 10-15 vardagar
This volume LNCS 15394 constitutes the refereed proceedings of 25th International Conference on Formal Engineering Methods, ICFEM 2024, in Hiroshima, Japan, in December 2024. The 22 full papers presented were carefully reviewed and selected from 50 submissions.