Kazuhiro Ogata – författare
Visar alla böcker från författaren Kazuhiro Ogata. Handla med fri frakt och snabb leverans.
8 produkter
Rewriting Logic and Its Applications
15th International Workshop, WRLA 2024, Luxembourg City, Luxembourg, April 6–7, 2024, Revised Selected Papers
Av Kazuhiro Ogata, Narciso Martí-Oliet
Häftad, 2024
637 kr
Lägg i varukorg
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 …
Rewriting Logic and Its Applications
15th International Workshop, WRLA 2024, Luxembourg City, Luxembourg, April 6–7, 2024, Revised Selected Papers
Av Narciso Marti-Oliet, Kazuhiro Ogata
E-bok, 2024
797 kr
Lägg i varukorg
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 …
Formal Methods and Software Engineering
18th International Conference on Formal Engineering Methods, ICFEM 2016, Tokyo, Japan, November 14-18, 2016, Proceedings
Av Kazuhiro Ogata, Mark Lawford m. fl.
Häftad, 2016
567 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 18th International Conference on Formal Engineering Methods, ICFEM 2016, held in Tokyo, Japan, in November 2016. The 27 revised full papers presented together with three invited talks were carefully reviewed and selected from 64 submissions. The …
Formal Methods and Software Engineering
18th International Conference on Formal Engineering Methods, ICFEM 2016, Tokyo, Japan, November 14-18, 2016, Proceedings
Av Shaoying Liu, Mark Lawford m. fl.
E-bok, 2016
755 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 18th International Conference on Formal Engineering Methods, ICFEM 2016, held in Tokyo, Japan, in November 2016. The 27 revised full papers presented together with three invited talks were carefully reviewed and selected from 64 submissions. The …
Specification, Algebra, and Software
Essays Dedicated to Kokichi Futatsugi
Av Shusaku Iida, José Meseguer m. fl.
Häftad, 2014
567 kr
Lägg i varukorg
This Festschrift volume, published in honor of Kokichi Futatsugi, contains 31 invited contributions from internationally leading researchers in formal methods and software engineering. Prof. Futatsugi is one of the founding fathers of the field of algebraic specification and verification and is a …
Specification, Algebra, and Software
Essays Dedicated to Kokichi Futatsugi
Av Kazuhiro Ogata, Jose Meseguer m. fl.
E-bok, 2014
739 kr
Lägg i varukorg
This Festschrift volume, published in honor of Kokichi Futatsugi, contains 31 invited contributions from internationally leading researchers in formal methods and software engineering. Prof. Futatsugi is one of the founding fathers of the field of algebraic specification and verification and is a …
Formal Methods and Software Engineering
25th International Conference on Formal Engineering Methods, ICFEM 2024, Hiroshima, Japan, December 2–6, 2024, Proceedings
Av Kazuhiro Ogata, Dominique Mery m. fl.
Häftad, 2024
846 kr
Lägg i varukorg
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. The conference focuses on wide range …
Formal Methods and Software Engineering
25th International Conference on Formal Engineering Methods, ICFEM 2024, Hiroshima, Japan, December 2–6, 2024, Proceedings
Av Shaoying Liu, Meng Sun m. fl.
E-bok, 2024
1056 kr
Lägg i varukorg
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. The conference focuses on wide range …
