{"title":"Kazuhiro Ogata","description":null,"products":[{"product_id":"formal-methods-and-software-engineering-book-kazuhiro-ogata-9783319478456","title":"Formal Methods and Software Engineering","description":"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 conference focuses in all areas related to formal engineering meth-ods, such as verification and validation, software engineering, formal specification and modeling, software security, and software reliability.","brand":"WoB","offers":[{"title":"GB \/ NEW \/ GARDNERS","offer_id":49736693448977,"sku":"NGR9783319478456","price":0.0,"currency_code":"GBP","in_stock":false},{"title":"GB \/ NEW \/ INGRAM","offer_id":52429716521233,"sku":"NLS9783319478456","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/3319478451.jpg?v=1750806118"},{"product_id":"rewriting-logic-and-its-applications-book-kazuhiro-ogata-9783031659409","title":"Rewriting Logic and Its Applications","description":"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. They focus on several topics, e.g., foundations; rewriting as a logical and semantic framework; rewriting languages; verification techniques; applications; and education.","brand":"WoB","offers":[{"title":"GB \/ NEW \/ INGRAM","offer_id":52655406088465,"sku":"NLS9783031659409","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9783031659409.jpg?v=1770371944"},{"product_id":"formal-methods-and-software-engineering-book-kazuhiro-ogata-9789819606160","title":"Formal Methods and Software Engineering","description":"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 of research areas, covering both theoretical foundations and practical applications of formal engineering methods","brand":"WoB","offers":[{"title":"GB \/ NEW \/ INGRAM","offer_id":52675344597265,"sku":"NLS9789819606160","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9789819606160.jpg?v=1770287934"}],"url":"https:\/\/www.worldofbooks.com\/collections\/author-books-by-kazuhiro-ogata.oembed","provider":"World of Books ","version":"1.0","type":"link"}