Lectures on the Logic of Computer Programming (CBMS-NSF Regional Conference Series in Applied Mathematics) (CBMS-NSF Regional Conference Series in Applied Mathematics)
Publisher: Society for Industrial  Mathematics
Published: January 1, 1987
Language: eng
Format: Paperback
Number of pages: 53
ISBN-13: 9780898711646
Subjects: Mathematical theory of computation; Programming - General; Computer Mathematics; Computer Programming +; Science; Logic, Symbolic and mathematical; Questions & Answers; General; Computers / Programming / Software Development; Computer programming; Logic, Symbolic and mathematic