BIBLIO is the largest independent book marketplace in the world, with over 100 million books.

Skip to content

Logic And Language Models For Computer Science (Fourth Edition)

Logic And Language Models For Computer Science (Fourth Edition)

Logic And Language Models For Computer Science (Fourth Edition)
Stock photo: cover may vary

Logic And Language Models For Computer Science (Fourth Edition) Hardback - 2023

by Richards Dana & Hamburger Henry

Add to wish list
  • New
New

Description

World Scientific Publishing Co. Pte. Ltd.. New.
Ask the seller a question Add to wish list
A$438.09
A$21.64 Delivery to USA
Standard delivery: 20 to 30 days
More delivery options
Ships from Sanctum Books (Delhi, India)

Details

  • Title Logic And Language Models For Computer Science (Fourth Edition)
  • Author Richards Dana & Hamburger Henry
  • Binding Hardback
  • Condition New
  • Pages 496
  • Volumes 1
  • Language ENG
  • Publisher World Scientific Publishing Co. Pte. Ltd.
  • Publication date 2023-02-06
  • Bookseller's Inventory # BookHouse9789811260667
  • ISBN 9789811260667 / 9811260664
  • Weight 1.83 lbs (0.83 kg)
  • Dimensions 9 x 6 x 1.06 in (22.86 x 15.24 x 2.69 cm)
  • Category Computers - General Information
  • Quantity available 500

About Sanctum Books Delhi, India

Biblio member since 2010

We are leading publishers, booksellers, distributors, importers, and exporters. We carry a large selection of books on varied subjects. Do place your valued order or let us know your requirement via email.

Terms of Sale:

30 day return guarantee, with full refund including shipping costs for up to 30 days after delivery if an item arrives misdescribed or damaged.

Books are shipped by Registered Air Mail or DHL/FedEx/Aramex. Additional shipping charges may be required for multi-volume sets.

Browse books from Sanctum Books

Reader reviews for Logic And Language Models For Computer Science (Fourth Edition)

From the publisher

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.

tracking-