https://koha.iiti.ac.in/cgi-bin/koha/opac-search.pl?q=ccl=au%3A%22Einar%20Broch%20Johnsen%22&sort_by=pubdate_dsc&format=rss 9 0 50 ISBN:9783642386138 https://koha.iiti.ac.in/cgi-bin/koha/opac-detail.pl?biblionumber=41488 ]]> By Einar Broch Johnsen, Luigia Petre.
Springer 2013 9783642386138

]]> Place hold on Integrated Formal Methods

]]> https://koha.iiti.ac.in/cgi-bin/koha/opac-detail.pl?biblionumber=41488 ISBN:9783319073170 https://koha.iiti.ac.in/cgi-bin/koha/opac-detail.pl?biblionumber=41942 ]]> By Marco Bernardo, Ferruccio Damiani, Reiner H�hnle, Einar Broch Johnsen, Ina Schaefer.
Springer 2014 9783319073170

]]> Place hold on Formal Methods for Executable Software Models

]]> https://koha.iiti.ac.in/cgi-bin/koha/opac-detail.pl?biblionumber=41942 ISBN:9783319189413 https://koha.iiti.ac.in/cgi-bin/koha/opac-detail.pl?biblionumber=42596 ]]> By Marco Bernardo, Einar Broch Johnsen.
Springer 2015 9783319189413

]]> Place hold on Formal Methods for Multicore Programming

]]> https://koha.iiti.ac.in/cgi-bin/koha/opac-detail.pl?biblionumber=42596 ISBN:9783319307343 https://koha.iiti.ac.in/cgi-bin/koha/opac-detail.pl?biblionumber=43121 ]]> By Erika �brah�m, Marcello Bonsangue, Einar Broch Johnsen.
Springer 2016 9783319307343

]]> Place hold on Theory and Practice of Formal Methods

]]> https://koha.iiti.ac.in/cgi-bin/koha/opac-detail.pl?biblionumber=43121 ISBN:9783319444826 https://koha.iiti.ac.in/cgi-bin/koha/opac-detail.pl?biblionumber=43351 ]]> By Marco Aiello, Einar Broch Johnsen, Schahram Dustdar, Ilche Georgievski.
Springer 2016 9783319444826

]]> Place hold on Service-Oriented and Cloud Computing

]]> https://koha.iiti.ac.in/cgi-bin/koha/opac-detail.pl?biblionumber=43351 ISBN:9783319614670 https://koha.iiti.ac.in/cgi-bin/koha/opac-detail.pl?biblionumber=43890 ]]> By Sebastian Gabmeyer, Einar Broch Johnsen.
Springer 2017 9783319614670

]]> Place hold on Tests and Proofs

]]> https://koha.iiti.ac.in/cgi-bin/koha/opac-detail.pl?biblionumber=43890 ISBN:9783319672625 https://koha.iiti.ac.in/cgi-bin/koha/opac-detail.pl?biblionumber=44031 ]]> By Flavio De Paoli, Stefan Schulte, Einar Broch Johnsen.
Springer 2017 9783319672625

]]> Place hold on Service-Oriented and Cloud Computing

]]> https://koha.iiti.ac.in/cgi-bin/koha/opac-detail.pl?biblionumber=44031 ISBN: https://koha.iiti.ac.in/cgi-bin/koha/opac-detail.pl?biblionumber=44431 By Einar Broch Johnsen, Ina Schaefer.
Springer 2018

]]> Place hold on Software Engineering and Formal Methods

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