Skip to content
Scan a barcode
Scan

All Formats & Editions

1 - 1 of 1 results found
Logic & Lang Model Comp (3rd Ed) 9813229209 Book Cover

Logic & Lang Model Comp (3rd Ed)

Edition Description

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.The treatment of computability with Automata and Formal Languages stands out...

Edition Details
Format:Hardcover
Language:English
ISBN:9813229209
Format: Hardcover
Condition:
$
98.00
Copyright © 2026 Thriftbooks.com Terms of Use | Privacy Policy | Do Not Sell/Share My Personal Information | Cookie Policy | Cookie Preferences | Accessibility Statement
ThriftBooks® and the ThriftBooks® logo are registered trademarks of Thrift Books Global, LLC
GoDaddy Verified and Secured