Logic And Language Models For Computer Science (Third Edition), Hardback Book

Logic And Language Models For Computer Science (Third Edition) Hardback

Hardback

Available to Order - This title is available to order, with delivery expected within 2 weeks
  • Information

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 in several ways:The style is appropriate for both undergraduate and graduate classes.

Information

Save 23%

£86.00

£65.78

Available to Order - This title is available to order, with delivery expected within 2 weeks
Add to Basket
Sign in to add to wishlist

Information