<?xml version="1.0" encoding="utf-8" ?> <rss version="2.0" xmlns:opensearch="http://a9.com/-/spec/opensearch/1.1/" xmlns:dc="http://purl.org/dc/elements/1.1/" xmlns:atom="http://www.w3.org/2005/Atom"> <channel> <title> <![CDATA[ Search for 'su:&quot;Z Computer program language&quot;']]> </title> <link> https://efind.ump.edu.my/cgi-bin/koha/opac-search.pl?q=ccl=su%3A%22Z%20Computer%20program%20language%22&#38;sort_by=title_dsc&#38;format=rss </link> <atom:link rel="self" type="application/rss+xml" href="https://efind.ump.edu.my/cgi-bin/koha/opac-search.pl?q=ccl=su%3A%22Z%20Computer%20program%20language%22&#38;sort_by=title_dsc&#38;format=rss"/> <description> <![CDATA[ Search results for 'su:&quot;Z Computer program language&quot;' at ]]> </description> <opensearch:totalResults>4</opensearch:totalResults> <opensearch:startIndex>0</opensearch:startIndex> <opensearch:itemsPerPage>30</opensearch:itemsPerPage> <atom:link rel="search" type="application/opensearchdescription+xml" href="https://efind.ump.edu.my/cgi-bin/koha/opac-search.pl?q=ccl=su%3A%22Z%20Computer%20program%20language%22&#38;sort_by=title_dsc&#38;format=opensearchdescription"/> <opensearch:Query role="request" searchTerms="q%3Dccl%3Dsu%253A%2522Z%2520Computer%2520program%2520language%2522" startPage="" /> <item> <title> Z : an introduction to formal methods / </title> <dc:identifier>ISBN:0471939730</dc:identifier> <link>https://efind.ump.edu.my/cgi-bin/koha/opac-detail.pl?biblionumber=56175</link> <description> <![CDATA[ <img src="https://images-na.ssl-images-amazon.com/images/P/0471939730.01.TZZZZZZZ.jpg" alt="" /> ]]> <![CDATA[ <p> By Diller, Antoni.<br /> Chichester, West Sussex, England ; | New York : Wiley, 1994 .<br /> xix, 374 p. : 25 cm..<br /> 0471939730 </p> ]]> <![CDATA[ <p> <a href="https://efind.ump.edu.my/cgi-bin/koha/opac-reserve.pl?biblionumber=56175">Place hold on <em>Z :</em></a> </p> ]]> </description> <guid>https://efind.ump.edu.my/cgi-bin/koha/opac-detail.pl?biblionumber=56175</guid> </item> <item> <title> The way of Z : practical programming with formal methods / </title> <dc:identifier>ISBN:9780521559768</dc:identifier> <link>https://efind.ump.edu.my/cgi-bin/koha/opac-detail.pl?biblionumber=38220</link> <description> <![CDATA[ <img src="https://images-na.ssl-images-amazon.com/images/P/0521559766.01.TZZZZZZZ.jpg" alt="" /> ]]> <![CDATA[ <p> By Jacky, Jonathan.<br /> Cambridge ; | New York, NY, USA : Cambridge University Press, 1997 .<br /> xviii, 350 p. : 25 cm..<br /> 9780521559768 </p> ]]> <![CDATA[ <p> <a href="https://efind.ump.edu.my/cgi-bin/koha/opac-reserve.pl?biblionumber=38220">Place hold on <em>The way of Z :</em></a> </p> ]]> </description> <guid>https://efind.ump.edu.my/cgi-bin/koha/opac-detail.pl?biblionumber=38220</guid> </item> <item> <title> Understanding Z : a specification language and its formal semantics / </title> <dc:identifier>ISBN:9780521054140 (pbk.) | 0521054141 (pbk.) | 0521334292 (hbk.) | 9780521334297 (hbk.)</dc:identifier> <link>https://efind.ump.edu.my/cgi-bin/koha/opac-detail.pl?biblionumber=50912</link> <description> <![CDATA[ <img src="https://images-na.ssl-images-amazon.com/images/P/0521054141.01.TZZZZZZZ.jpg" alt="" /> ]]> <![CDATA[ <p> By Spivey, J. M..<br /> Cambridge [Cambridgeshire] ; | New York : Cambridge University Press, 2008 .<br /> viii, 131 p. ; 26 cm..<br /> 9780521054140 (pbk.) | 0521054141 (pbk.) | 0521334292 (hbk.) | 9780521334297 (hbk.) </p> ]]> <![CDATA[ <p> <a href="https://efind.ump.edu.my/cgi-bin/koha/opac-reserve.pl?biblionumber=50912">Place hold on <em>Understanding Z :</em></a> </p> ]]> </description> <guid>https://efind.ump.edu.my/cgi-bin/koha/opac-detail.pl?biblionumber=50912</guid> </item> <item> <title> Formal specification using Z / </title> <dc:identifier>ISBN:9780333763278 (pbk.) | 0333763270 (pbk)</dc:identifier> <link>https://efind.ump.edu.my/cgi-bin/koha/opac-detail.pl?biblionumber=64250</link> <description> <![CDATA[ <img src="https://images-na.ssl-images-amazon.com/images/P/0333763270.01.TZZZZZZZ.jpg" alt="" /> ]]> <![CDATA[ <p> By Lightfoot, David,.<br /> Basingstoke : Palgrave Macmillan, 2001 .<br /> 192 p. : , Previous ed.: 1991 | Includes index 25 cm..<br /> 9780333763278 (pbk.) | 0333763270 (pbk) </p> ]]> <![CDATA[ <p> <a href="https://efind.ump.edu.my/cgi-bin/koha/opac-reserve.pl?biblionumber=64250">Place hold on <em>Formal specification using Z /</em></a> </p> ]]> </description> <guid>https://efind.ump.edu.my/cgi-bin/koha/opac-detail.pl?biblionumber=64250</guid> </item> </channel> </rss>
