BOOKS - PROGRAMMING - Logic and Language Models for Computer Science, 3rd Edition
Logic and Language Models for Computer Science, 3rd Edition - Dana Richards, Henry Hamburger 2017 PDF | EPUB | AZW3 World Scientific Publishing BOOKS PROGRAMMING
US $7.47

Views
512055
Logic and Language Models for Computer Science, 3rd Edition
Author: Dana Richards, Henry Hamburger
Year: 2017
Format: PDF | EPUB | AZW3
File size: 22 MB
Language: ENG

This text presents the formal concepts underlying Computer Science.It starts with a wide introduction to Logic with an emphasis on reasoning and proof, with chapters on Program Verification and Prolog.

You may also be interested in: