https://koha.iiti.ac.in/cgi-bin/koha/opac-search.pl?q=ccl=au%3A%22Narciso%20Mart%EF%BF%BD-Oliet%22&sort_by=pubdate_dsc&format=rss 4 0 50 ISBN:9783642376351 https://koha.iiti.ac.in/cgi-bin/koha/opac-detail.pl?biblionumber=41425 ]]> By Narciso Mart�-Oliet, Miguel Palomino.
Springer 2013 9783642376351

]]> Place hold on Recent Trends in Algebraic Development Techniques

]]> https://koha.iiti.ac.in/cgi-bin/koha/opac-detail.pl?biblionumber=41425 ISBN:9783319150758 https://koha.iiti.ac.in/cgi-bin/koha/opac-detail.pl?biblionumber=42487 ]]> By Christiano Braga, Narciso Mart�-Oliet.
Springer 2015 9783319150758

]]> Place hold on Formal Methods: Foundations and Applications

]]> https://koha.iiti.ac.in/cgi-bin/koha/opac-detail.pl?biblionumber=42487 ISBN:9783319231655 https://koha.iiti.ac.in/cgi-bin/koha/opac-detail.pl?biblionumber=42785 ]]> By Narciso Mart�-Oliet, Peter Csaba �lveczky, Carolyn Talcott.
Springer 2015 9783319231655

]]> Place hold on Logic, Rewriting, and Concurrency

]]> https://koha.iiti.ac.in/cgi-bin/koha/opac-detail.pl?biblionumber=42785 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