<![CDATA[Central Library Search for 'au:"Derrick, John."']]>

<![CDATA[Central Library Search for 'au:"Derrick, John."']]> https://opac.l3.nitk.ac.in/cgi-bin/koha/opac-search.pl?q=ccl=au%3A%22Derrick%2C%20John.%22&format=rss2 4 0 50 Refinement in Z and Object-Z ISBN 9781447153559 https://opac.l3.nitk.ac.in/cgi-bin/koha/opac-detail.pl?biblionumber=56389

By Derrick, John.. . XVIII, 492 p. 9781447153559

Place Hold on Refinement in Z and Object-Z

]]> https://opac.l3.nitk.ac.in/cgi-bin/koha/opac-detail.pl?biblionumber=56389 Formal Techniques for Networked and Distributed Systems - FORTE 2007 ISBN 9783540731962 https://opac.l3.nitk.ac.in/cgi-bin/koha/opac-detail.pl?biblionumber=88990

. XI, 378 p. 9783540731962

Place Hold on Formal Techniques for Networked and Distributed Systems - FORTE 2007

]]> https://opac.l3.nitk.ac.in/cgi-bin/koha/opac-detail.pl?biblionumber=88990 Abstract State Machines, Alloy, B, VDM, and Z ISBN 9783642308857 https://opac.l3.nitk.ac.in/cgi-bin/koha/opac-detail.pl?biblionumber=92819

. XV, 378 p. 133 illus. 9783642308857

Place Hold on Abstract State Machines, Alloy, B, VDM, and Z

]]> https://opac.l3.nitk.ac.in/cgi-bin/koha/opac-detail.pl?biblionumber=92819 Integrated Formal Methods ISBN 9783642307294 https://opac.l3.nitk.ac.in/cgi-bin/koha/opac-detail.pl?biblionumber=96934

. XII, 360 p. 105 illus. 9783642307294

Place Hold on Integrated Formal Methods

]]> https://opac.l3.nitk.ac.in/cgi-bin/koha/opac-detail.pl?biblionumber=96934