<![CDATA[Learning Resource Center, IIT Indore Search for 'au:"Ana Sokolova"']]>

<![CDATA[Learning Resource Center, IIT Indore Search for 'au:"Ana Sokolova"']]> https://koha.iiti.ac.in/cgi-bin/koha/opac-search.pl?q=ccl=au%3A%22Ana%20Sokolova%22&sort_by=pubdate_dsc&format=rss 3 0 50 Formal Techniques for Distributed Objects, Components, and Systems ISBN:9783030500863 https://koha.iiti.ac.in/cgi-bin/koha/opac-detail.pl?biblionumber=47508 ]]> By Alexey Gotsman .
Springer Nature 2020 9783030500863

]]> Place hold on Formal Techniques for Distributed Objects, Components, and Systems

]]> https://koha.iiti.ac.in/cgi-bin/koha/opac-detail.pl?biblionumber=47508 Model Checking Software ISBN: https://koha.iiti.ac.in/cgi-bin/koha/opac-detail.pl?biblionumber=49578 By Alfons Laarman.
Springer Nature 2021 , One time purchase [Perpetual access]

]]> Place hold on Model Checking Software

]]> https://koha.iiti.ac.in/cgi-bin/koha/opac-detail.pl?biblionumber=49578 Reachability Problems ISBN:978-3-031-72621-7 https://koha.iiti.ac.in/cgi-bin/koha/opac-detail.pl?biblionumber=56980 ]]> By Laura Kov�cs.
Heidelberg, Germany Springer Nature 2024 978-3-031-72621-7

]]> Place hold on Reachability Problems

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