<![CDATA[ Search for 'su:"Computer systems" and au:Borger, Egon and au:Stark, Robert']]>

<![CDATA[ Search for 'su:"Computer systems" and au:Borger, Egon and au:Stark, Robert']]> http://opac.daiict.ac.in/cgi-bin/koha/opac-search.pl?q=ccl=su%3A%22Computer%20systems%22%20and%20au%3ABorger%2C%20Egon%20and%20au%3AStark%2C%20Robert&format=rss2 2 0 50 Abstract state machines : a method for high-level system design and analysis ISBN 3540007024 http://opac.daiict.ac.in/cgi-bin/koha/opac-detail.pl?biblionumber=5841 By Stark, Robert. Berlin: Springer, 2003 . x, 432 p.; 24 cm.. 3540007024

Place Hold on Abstract state machines : a method for high-level system design and analysis

]]> http://opac.daiict.ac.in/cgi-bin/koha/opac-detail.pl?biblionumber=5841 Java and the Java virtual machine : definition, verification, validation ISBN 3540420886 http://opac.daiict.ac.in/cgi-bin/koha/opac-detail.pl?biblionumber=6154 By Stark, Robert. Berlin: Springer, 2001 . 381 p.; 24 cm.. 3540420886

Place Hold on Java and the Java virtual machine : definition, verification, validation

]]> http://opac.daiict.ac.in/cgi-bin/koha/opac-detail.pl?biblionumber=6154