https://koha.iiti.ac.in/cgi-bin/koha/opac-search.pl?q=ccl=au%3A%22Kazuhiro%20Ogata%22&sort_by=pubdate_dsc&format=rss 4 0 50 ISBN:9783642546242 https://koha.iiti.ac.in/cgi-bin/koha/opac-detail.pl?biblionumber=42350 ]]> By Shusaku Iida, Jos� Meseguer, Kazuhiro Ogata.
Springer 2014 9783642546242

]]> Place hold on Specification, Algebra, and Software

]]> https://koha.iiti.ac.in/cgi-bin/koha/opac-detail.pl?biblionumber=42350 ISBN:9783319478463 https://koha.iiti.ac.in/cgi-bin/koha/opac-detail.pl?biblionumber=43503 ]]> By Kazuhiro Ogata, Mark Lawford, Shaoying Liu.
Springer 2016 9783319478463

]]> Place hold on Formal Methods and Software Engineering

]]> https://koha.iiti.ac.in/cgi-bin/koha/opac-detail.pl?biblionumber=43503 ISBN:978-981-96-0617-7 https://koha.iiti.ac.in/cgi-bin/koha/opac-detail.pl?biblionumber=57017 ]]> By Kazuhiro Ogata.
Heidelberg, Germany Springer Nature 2024 978-981-96-0617-7

]]> Place hold on Formal Methods and Software Engineering

]]> https://koha.iiti.ac.in/cgi-bin/koha/opac-detail.pl?biblionumber=57017 ISBN:978-3-031-65941-6 https://koha.iiti.ac.in/cgi-bin/koha/opac-detail.pl?biblionumber=56725 ]]> By Kazuhiro Ogata.
Heidelberg, Germany Springer Nature 2024 978-3-031-65941-6

]]> Place hold on Rewriting Logic and Its Applications

]]> https://koha.iiti.ac.in/cgi-bin/koha/opac-detail.pl?biblionumber=56725