Logic And Language Models For Computer Science (Third Edition)
Compare buying options
Five live offers. The cheapest is new.Product 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 a
Set Price Drop
Get an alert as soon as it’s on sale.
Alert set
We’ll let you know when any store drops to your price or lower.
Video reviews
Reviews of this product on YouTube.Just For You
Stores we recommend, with today’s cash back rates.
Activate & Shop
Activate & Shop
Activate & Shop
Activate & Shop
Activate & Shop
Activate & Shop
Activate & Shop
Activate & Shop
Activate & Shop
Activate & Shop
Activate & Shop
Activate & Shop



