<![CDATA[Learning Resource Center, IIT Indore Search for 'au:"Jan Martijn van der Werf"']]>

<![CDATA[Learning Resource Center, IIT Indore Search for 'au:"Jan Martijn van der Werf"']]> https://koha.iiti.ac.in/cgi-bin/koha/opac-search.pl?q=ccl=au%3A%22Jan%20Martijn%20van%20der%20Werf%22&sort_by=pubdate_dsc&format=rss 2 0 50 Web Services, Formal Methods, and Behavioral Types ISBN:9783319336121 https://koha.iiti.ac.in/cgi-bin/koha/opac-detail.pl?biblionumber=43173 ]]> By Thomas Hildebrandt, Ant�nio Ravara, Jan Martijn van der Werf, Matthias Weidlich.
Springer 2016 9783319336121

]]> Place hold on Web Services, Formal Methods, and Behavioral Types

]]> https://koha.iiti.ac.in/cgi-bin/koha/opac-detail.pl?biblionumber=43173 Application and Theory of Petri Nets and Concurrency ISBN:978-3-031-61433-0 https://koha.iiti.ac.in/cgi-bin/koha/opac-detail.pl?biblionumber=56499 ]]> By Lars Michael Kristensen.
Heidelberg, Germany Springer Nature 2024 978-3-031-61433-0

]]> Place hold on Application and Theory of Petri Nets and Concurrency

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