| 000 | 02574nam a2200481 i 4500 | ||
|---|---|---|---|
| 001 | 7176537 | ||
| 003 | IEEE | ||
| 005 | 20220712204844.0 | ||
| 006 | m o d | ||
| 007 | cr |n||||||||| | ||
| 008 | 151224s2015 mau ob 001 eng d | ||
| 010 | _z 2015001271 (print) | ||
| 020 |
_a9780262330565 _qelectronic |
||
| 020 |
_z9780262527958 _qpbk. : alk. paper |
||
| 035 | _a(CaBNVSL)mat07176537 | ||
| 035 | _a(IDAMS)0b0000648494ca79 | ||
| 040 |
_aCaBNVSL _beng _erda _cCaBNVSL _dCaBNVSL |
||
| 050 | 4 |
_aQA76.9.A96 _bF745 2015eb |
|
| 082 | 0 | 0 |
_a511.3/6028563 _223 |
| 100 | 1 |
_aFriedman, Daniel P., _eauthor. _922920 |
|
| 245 | 1 | 4 |
_aThe little prover / _cDaniel P. Friedman, Carl Eastlund ; drawings by Duane Bibby ; foreword by J Strother More. |
| 264 | 1 |
_aCambridge, Massachusetts : _bMIT Press, _c[2015] |
|
| 264 | 2 |
_a[Piscataqay, New Jersey] : _bIEEE Xplore, _c[2015] |
|
| 300 | _a1 PDF (xiii, 229 pages). | ||
| 336 |
_atext _2rdacontent |
||
| 337 |
_aelectronic _2isbdmedia |
||
| 338 |
_aonline resource _2rdacarrier |
||
| 504 | _aIncludes bibliographical references (p. 217-218) and index. | ||
| 506 | 1 | _aRestricted to subscribers or individual electronic text purchasers. | |
| 520 | _a The Little Prover introduces inductive proofs as a way to determine facts about computer programs. It is written in an approachable, engaging style of question-and-answer, with the characteristic humor of The Little Schemer (fourth edition, MIT Press). Sometimes the best way to learn something is to sit down and do it; the book takes readers through step-by-step examples showing how to write inductive proofs. The Little Prover assumes only knowledge of recursive programs and lists (as presented in the first three chapters of The Little Schemer) and uses only a few terms beyond what novice programmers already know. The book comes with a simple proof assistant to help readers work through the book and complete solutions to every example. | ||
| 530 | _aAlso available in print. | ||
| 538 | _aMode of access: World Wide Web | ||
| 588 | _aDescription based on PDF viewed 12/24/2015. | ||
| 650 | 0 |
_aAutomatic theorem proving. _921976 |
|
| 650 | 0 |
_aLISP (Computer program language) _921828 |
|
| 655 | 0 |
_aElectronic books. _93294 |
|
| 700 | 1 |
_aEastlund, Carl. _924690 |
|
| 710 | 2 |
_aIEEE Xplore (Online Service), _edistributor. _924691 |
|
| 710 | 2 |
_aMIT Press, _epublisher. _924692 |
|
| 776 | 0 | 8 |
_iPrint version _z9780262527958 |
| 856 | 4 | 2 |
_3Abstract with links to resource _uhttps://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=7176537 |
| 942 | _cEBK | ||
| 999 |
_c73433 _d73433 |
||