Theory of Program Structures: Schemes, Semantics, Verification (Lecture Notes in Computer Science, 36)
Description
Ex-Library. Previous owner's sticker and faint library withdrawal stamp on the front cover. Accession slip and withdrawal stamp on title page; library stamps on dedication page. Pen markings across spine foot; faintly bumped spine head and rubbed corners. Spine face and foot of page block slightly grubby and marked due to age. Sound, clean book with tight binding. ADG.
Keywords
COMPUTER PROGRAMMINGRECURSIVE PROGRAMMINGCOMPUTER PROGRAMS
