Menu
Home
People
Places
Arts
History
Plants & Animals
Science
Life & Culture
Technology
Reference.org
Prentice Hall International Series in Computer Science
open-in-new
<h2 id="selected-books">Selected books</h2> <p>The following books were published in the series:<a class="footnote-ref" id="fnref:3" href="#fn:3"><sup>3</sup></a><a class="footnote-ref" id="fnref:4" href="#fn:4"><sup>4</sup></a> </p> <ul><li><a href="/facts/Richard_Bird_(computer_scientist)/3NG0yvSk">R. S. Bird</a>, <i>Introduction to Functional Programming using Haskell</i>, 2nd edition, 1998. <a href="/facts/ISBN_(identifier)/15AdSPa9">ISBN</a> 0-13-484346-0.</li> <li>R. S. Bird and O. de Moor, <i>Algebra of Programming</i>, 1996. <a href="/facts/ISBN_(identifier)/15AdSPa9">ISBN</a> 0-13-507245-X. (100th volume in the series.)</li> <li><a href="/facts/Ole-Johan_Dahl/4XzG0v9q">O.-J. Dahl</a>, <i>Verifiable Programming</i>, 1992. <a href="/facts/ISBN_(identifier)/15AdSPa9">ISBN</a> 0-13-951062-1.</li> <li><a href="/facts/Dov_Gabbay/eXBxVUVq">D. M. Gabbay</a>, <i>Elementary Logics: A Procedural Perspective</i>, 1998. <a href="/facts/ISBN_(identifier)/15AdSPa9">ISBN</a> 0-13-726365-1.</li> <li>I. J. Hayes (ed.), <i>Specification Cases Studies</i>, 2nd edition, 1993. <a href="/facts/ISBN_(identifier)/15AdSPa9">ISBN</a> 0-13-832544-8.</li> <li><a href="/facts/M._G._Hinchey/pu5hIlW5">M. G. Hinchey</a> and <a href="/facts/J._P._Bowen/rNN1Y3vy">J. P. Bowen</a> (eds.), <i>Applications of Formal Methods</i>, 1996. <a href="/facts/ISBN_(identifier)/15AdSPa9">ISBN</a> 0-13-366949-1.</li> <li><a href="/facts/C._A._R._Hoare/vBeb3cmn">C. A. R. Hoare</a>, <i><a href="/facts/Communicating_Sequential_Processes/bzKGnJ50">Communicating Sequential Processes</a></i>, 1985. <a href="/facts/ISBN_(identifier)/15AdSPa9">ISBN</a> 0-13-153271-5 hardback or <a href="/facts/ISBN_(identifier)/15AdSPa9">ISBN</a> 0-13-153289-8 paperback.</li> <li>C. A. R. Hoare and <a href="/facts/M._J._C._Gordon/ojEYxohV">M. J. C. Gordon</a>, <i>Mechanized Reasoning and Hardware Design</i>, 1998. <a href="/facts/ISBN_(identifier)/15AdSPa9">ISBN</a> 0-13-572405-8.</li> <li>C. A. R. Hoare and <a href="/facts/He_Jifeng/TpqMc565">He Jifeng</a>, <i><a href="/facts/Unifying_Theories_of_Programming/X2fzRAcd">Unifying Theories of Programming</a></i>, 1998. <a href="/facts/ISBN_(identifier)/15AdSPa9">ISBN</a> 0-13-458761-8.</li> <li><a href="/facts/Inmos/wD1JHHf8">INMOS Limited</a>, <i><a href="/facts/Occam_2/5EWXeIKY">Occam 2</a> Reference Manual</i>, 1988. <a href="/facts/ISBN_(identifier)/15AdSPa9">ISBN</a> 0-13-629312-3.</li> <li><a href="/facts/Cliff_Jones_(computer_scientist)/oKdzxwkQ">Cliff Jones</a>, <i>Systematic Software Development Using VDM</i>, 1986. <a href="/facts/ISBN_(identifier)/15AdSPa9">ISBN</a> 0-13-880725-6 hardback or <a href="/facts/ISBN_(identifier)/15AdSPa9">ISBN</a> 0-13-880717-5 paperback.</li> <li><a href="/facts/Mathai_Joseph/1Km1L80C">M. Joseph</a> (ed.), <i>Real-Time Systems: Specification, Verification and Analysis</i>, 1996. <a href="/facts/ISBN_(identifier)/15AdSPa9">ISBN</a> 0-13-455297-0.</li> <li><a href="/facts/Bertrand_Meyer/fHywGneP">Bertrand Meyer</a>, <i><a href="/facts/Object-Oriented_Software_Construction/u0uN1QpV">Object-Oriented Software Construction</a></i> (first edition only).</li> <li><a href="/facts/Robin_Milner/oMfdsRwK">Robin Milner</a>, <i>Communication and Concurrency</i>, 1989. <a href="/facts/ISBN_(identifier)/15AdSPa9">ISBN</a> 0-13-115007-3 (for the paperback).</li> <li><a href="/facts/Carroll_Morgan_(computer_scientist)/A4jn2muQ">C. C. Morgan</a>, <i>Programming from Specifications</i>, 2nd edition, 1994. <a href="/facts/ISBN_(identifier)/15AdSPa9">ISBN</a> 0-13-123274-6.</li> <li>P. N. Nissanke, <i>Realtime Systems</i>, 1997. <a href="/facts/ISBN_(identifier)/15AdSPa9">ISBN</a> 0-13-651274-7.</li> <li>B. Potter, J. Sinclair and D. Till, <i>An Introduction to Formal Specification and Z</i>, 2nd edition, 1996. <a href="/facts/ISBN_(identifier)/15AdSPa9">ISBN</a> 0-13-242207-7.</li> <li><a href="/facts/Bill_Roscoe/FDTHV6Wg">A. W. Roscoe</a> (ed.), <i>A Classical Mind: Essays in Honour of C. A. R. Hoare</i>, 1994. <a href="/facts/ISBN_(identifier)/15AdSPa9">ISBN</a> 0-13-294844-3.</li> <li>A. W. Roscoe, <i>The Theory and Practice of Concurrency</i>, 1997. <a href="/facts/ISBN_(identifier)/15AdSPa9">ISBN</a> 0-13-674409-5.</li> <li><a href="/facts/Michael_Spivey/VCnxhguS">J. M. Spivey</a>, <i>The <a href="/facts/Z_notation/5mUjpTvv">Z Notation</a>: A Reference Manual</i>, 2nd edition, 1992. <a href="/facts/ISBN_(identifier)/15AdSPa9">ISBN</a> 0-13-978529-9.</li> <li><a href="/facts/J._C._P._Woodcock/mkHY39YP">J. C. P. Woodcock</a> and <a href="/facts/Jim_Davies_(computer_scientist)/VpwDV24n"> J. W. Davies</a>, <i>Using Z: Specification, Refinement and Proof</i>, 1996. <a href="/facts/ISBN_(identifier)/15AdSPa9">ISBN</a> 0-13-948472-8.</li></ul> <h2 id="references">References</h2> <ol> <li id="fn:1"><p>"Series: Prentice-Hall International Series in Computer Science". LibraryThing. Retrieved 24 September 2019. <a href="https://www.librarything.com/nseries/27648/Prentice-Hall-International-Series-in-Computer-Science" target="_blank">https://www.librarything.com/nseries/27648/Prentice-Hall-International-Series-in-Computer-Science</a> <a href="#fnref:1" class="footnote-back-ref">↩</a></p></li> <li id="fn:2"><p>"Prentice Hall International Series in Computer Science". Formal Methods Wiki. Wikia. Retrieved 30 March 2021. <a href="https://formalmethods.wikia.org/wiki/Prentice_Hall_International_Series_in_Computer_Science" target="_blank">https://formalmethods.wikia.org/wiki/Prentice_Hall_International_Series_in_Computer_Science</a> <a href="#fnref:2" class="footnote-back-ref">↩</a></p></li> <li id="fn:3"><p>"Series: Prentice-Hall International Series in Computer Science". LibraryThing. Retrieved 24 September 2019. <a href="https://www.librarything.com/nseries/27648/Prentice-Hall-International-Series-in-Computer-Science" target="_blank">https://www.librarything.com/nseries/27648/Prentice-Hall-International-Series-in-Computer-Science</a> <a href="#fnref:3" class="footnote-back-ref">↩</a></p></li> <li id="fn:4"><p>"PHISCS books". Formal Methods Wiki. Wikia. Retrieved 30 March 2021. <a href="https://formalmethods.wikia.org/wiki/PHISCS_books" target="_blank">https://formalmethods.wikia.org/wiki/PHISCS_books</a> <a href="#fnref:4" class="footnote-back-ref">↩</a></p></li> </ol>