THEORETICAL COMPUTERS

Logic And Language Models For Computer Science (4Th Edition)

Name: Logic And Language Models For Computer Science (4Th Edition)
Brand: World Scientific
SKU: 9781944660833
Price: 1196.00 INR
Availability: InStock
ISBN: 9781944660833

Contributor(s): Dana Richards Author , Henry Hamburger Author Format: Paperback

Paperback · ISBN 9781944660833

₹1,196 20%

₹1,495

Inclusive of GST and other taxes

100% Quality Assurance

No Account Creation Required

Fast Delivery

Secured Transactions

Arriving at your doorstep in 2-3 days

Our logisitcs team will make sure everyitem is delivered safely

Key Specifications

ISBN	9781944660833
Publisher	World Scientific
Language	English
Page count	468

This unique compendium highlights the theory of computation, particularly logic and automata theory. Special emphasis is on computer science applications including loop invariants, program correctness, logic programming and algorithmic proof techniques. This innovative volume differs from standard textbooks, by building on concepts in a different order, using fewer theorems with simpler proofs. It has added many new examples, problems and answers. It can be used as an undergraduate text at most universities.

Logic And Language Models For Computer Science (4Th Edition)

Key Specifications

Dana Richards Author

Henry Hamburger Author

Related titles