3 Ebooks par Kazuhiro Ogata
Mark Lawford & Shaoying Liu: Formal Methods and Software Engineering
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 prese …
PDF
Anglais
DRM
€57.35
Shusaku Iida & Jose Meseguer: Specification, Algebra, and Software
This Festschrift volume, published in honor of Kokichi Futatsugi, contains 31 invited contributions from internationally leading researchers in formal methods and software engineering. Prof. Futatsug …
PDF
Anglais
DRM
€57.19
Narciso Marti-Oliet & Kazuhiro Ogata: Rewriting Logic and Its Applications
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, …
EPUB
Anglais
DRM
€64.11
