<![CDATA[Learning Resource Center, IIT Indore Search for 'au:"Frank de Boer"']]>

<![CDATA[Learning Resource Center, IIT Indore Search for 'au:"Frank de Boer"']]> https://koha.iiti.ac.in/cgi-bin/koha/opac-search.pl?q=ccl=au%3A%22Frank%20de%20Boer%22&sort_by=pubdate_dsc&format=rss 4 0 50 FM 2015: Formal Methods ISBN:9783319192499 https://koha.iiti.ac.in/cgi-bin/koha/opac-detail.pl?biblionumber=42608 ]]> By Nikolaj Bj�rner, Frank de Boer.
Springer 2015 9783319192499

]]> Place hold on FM 2015: Formal Methods

]]> https://koha.iiti.ac.in/cgi-bin/koha/opac-detail.pl?biblionumber=42608 It's All About Coordination ISBN: https://koha.iiti.ac.in/cgi-bin/koha/opac-detail.pl?biblionumber=44387 By Frank de Boer, Marcello Bonsangue, Jan Rutten.
Springer 2018

]]> Place hold on It's All About Coordination

]]> https://koha.iiti.ac.in/cgi-bin/koha/opac-detail.pl?biblionumber=44387 Software Engineering and Formal Methods ISBN:9783030587680 https://koha.iiti.ac.in/cgi-bin/koha/opac-detail.pl?biblionumber=47818 ]]> By Frank de Boer .
Springer Nature 2020 9783030587680

]]> Place hold on Software Engineering and Formal Methods

]]> https://koha.iiti.ac.in/cgi-bin/koha/opac-detail.pl?biblionumber=47818 Active Object Languages: Current Research Trends ISBN:978-3-031-51060-1 https://koha.iiti.ac.in/cgi-bin/koha/opac-detail.pl?biblionumber=56007 ]]> By Frank de Boer.
Heidelberg, Germany Springer Nature 2024 978-3-031-51060-1

]]> Place hold on Active Object Languages: Current Research Trends

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