1012 records matched your query
01044aam a2200277 i 4500 001 FFDCEF8C010B11EEB5B5CDCD2BECA4DB 003 SILO 005 20230602010835 008 220718t20232023enka b 001 0 eng d 020 $a 110718018X 020 $a 9781107180185 035 $a (OCoLC)1336458036 040 $a YDX $b eng $e rda $c YDX $d UKMGB $d OCLCF $d TXA $d CDX $d SILO 050 14 $a QA76.7 R355 2023 100 1 $a Ramsey, Norman, $d 1962- $e author. 245 10 $a Programming languages : $b build, prove, and compare / $c Norman Ramsey. 264 1 $a Cambridge, United Kingdom : $b Cambridge University Press, $c 2023. 300 $a xxi, 775 pages : $b illustrations ; $c 27 cm 504 $a Includes bibliographical references (pages 733-744) and index. 650 0 $a Programming languages (Electronic computers) 650 0 $a Computer programming. 776 08 $i ebook version : $z 9781316852989 941 $a 1 952 $l USUX851 $d 20230907012438.0 956 $a http://locator.silo.lib.ia.us/search.cgi?index_0=id&term_0=FFDCEF8C010B11EEB5B5CDCD2BECA4DB 994 $a C0 $b IWAInitiate Another SILO Locator Search