<![CDATA[Library Services | Technical University of Kenya Search for 'au:"Katoen, Joost-Pieter."']]>

<![CDATA[Library Services | Technical University of Kenya Search for 'au:"Katoen, Joost-Pieter."']]> http://library.tukenya.ac.ke/cgi-bin/koha/opac-search.pl?q=ccl=au%3A%22Katoen%2C%20Joost-Pieter.%22&format=rss2 3 0 50 Model-Based Testing of Reactive Systems ISBN 9783540320371 http://library.tukenya.ac.ke/cgi-bin/koha/opac-detail.pl?biblionumber=76667 By Broy, Manfred.. Berlin, Heidelberg : Springer Berlin Heidelberg, 2005 9783540320371

Place Hold on Model-Based Testing of Reactive Systems

]]> http://library.tukenya.ac.ke/cgi-bin/koha/opac-detail.pl?biblionumber=76667 CONCUR 2011 – Concurrency Theory ISBN 9783642232176 http://library.tukenya.ac.ke/cgi-bin/koha/opac-detail.pl?biblionumber=85539 By Katoen, Joost-Pieter.. Berlin, Heidelberg : Springer Berlin Heidelberg, 2011 9783642232176

Place Hold on CONCUR 2011 – Concurrency Theory

]]> http://library.tukenya.ac.ke/cgi-bin/koha/opac-detail.pl?biblionumber=85539 CONCUR 2011 – Concurrency Theory ISBN 9783642232176 http://library.tukenya.ac.ke/cgi-bin/koha/opac-detail.pl?biblionumber=108328 By Katoen, Joost-Pieter.. . XIV, 560p. 9783642232176

Place Hold on CONCUR 2011 – Concurrency Theory

]]> http://library.tukenya.ac.ke/cgi-bin/koha/opac-detail.pl?biblionumber=108328