Logic And Language Models For Computer Science (Third Edition)
In stock$18.50
Book FormatEbook
1
SKU:GC-0940426228
Comes to you in 4-8 business days though delays can occur.
Return your order within 30 days from delivery.
Logic And Language Models For Computer Science (Third Edition)
$18.50
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 in several ways: The style is appropriate for both undergraduate and graduate classes.
Book Details
- Authors: Dana Richards, Henry Hamburger
- Publisher: World Scientific
- Edition: Third Edition
- eBook ISBN: 9789813229228, 9813229225
- Print ISBN: 9789813229204, 9813229209
Product Details
TypeBook
SKUGC-0940426228-BOOK
TagsNew Book, Computer Science & IT
You May Also Like
View all →
Advances in Computer Science and Information Technology: First International Conference on Computer Science and Information Technology, CCSIT 2011, Bangalore, India, January 2-4, 2011. Proceedings, Part I
$30.00
Designing Democracy Re-education and the America Houses (19451961)- The American Information Centers and their Involvement in Democratic: Re-education in Western Germany and West Berlin from 1945 to 1961
$28.00
Advances in Neuroergonomics and Cognitive Engineering: Proceedings of the AHFE 2016 International Conference on Neuroergonomics and Cognitive Engineering, July 27-31, 2016, Walt Disney World®, Florida, USA
$35.00
Proceedings of the 7th World Conference on Mass Customization, Personalization, and Co-Creation (MCPC 2014), Aalborg, Denmark, February 4th - 7th, 2014: Twenty Years of Mass Customization - Towards New Frontiers
$90.00