Synopsis
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.
"synopsis" may belong to another edition of this title.
Other Popular Editions of the Same Title
Search results for Logic And Language Models For Computer Science (fourth...
Stock Image
Logic And Language Models For Computer Science (fourth Edition)
Seller: Textbooks_Source, Columbia, MO, U.S.A.
Seller rating 5 out of 5 stars
hardcover. Condition: New. 4th Edition. Ships in a BOX from Central Missouri! UPS shipping for most packages, (Priority Mail for AK/HI/APO/PO Boxes). Seller Inventory # 009470886N
Stock Image
Logic And Language Models For Computer Science (Fourth Edition)
Seller: Goodvibes Books, STAFFORD, TX, U.S.A.
Seller rating 4 out of 5 stars
Condition: New. New Book. Seller Inventory # 9811260664-SBX
Seller Image
Logic and Language Models for Computer Science
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Seller rating 5 out of 5 stars
Condition: As New. Unread book in perfect condition. Seller Inventory # 44947231
Seller Image
Logic and Language Models for Computer Science
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # 44947231-n
Stock Image
Logic and Language Models for Computer Science (Fourth Edition)
Seller: Books Puddle, New York, NY, U.S.A.
Seller rating 4 out of 5 stars
Condition: New. Seller Inventory # 26395484850
Stock Image
Logic and Language Models for Computer Science (Fourth Edition)
Seller: Majestic Books, Hounslow, United Kingdom
Seller rating 4 out of 5 stars
Condition: New. Seller Inventory # 400892269
Buy New
US$ 131.86
Shipping:
US$ 8.55
From United Kingdom to U.S.A.
Quantity: 4 available
Stock Image
Logic And Language Models For Computer Science (Fourth Edition) (Hardcover)
Published by
World Scientific Publishing Co Pte Ltd, Singapore, 2023
ISBN 10: 9811260664
ISBN 13: 9789811260667
New
Hardcover
Seller: Grand Eagle Retail, Bensenville, IL, U.S.A.
Seller rating 5 out of 5 stars
Hardcover. Condition: new. Hardcover. 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. Shipping may be from multiple locations in the US or from the UK, depending on stock availability. Seller Inventory # 9789811260667
Stock Image
Logic and Language Models for Computer Science (Fourth Edition)
Seller: Biblios, Frankfurt am main, HESSE, Germany
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # 18395484856
Seller Image
Logic and Language Models for Computer Science
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
Condition: As New. Unread book in perfect condition. Seller Inventory # 44947231
Buy Used
US$ 138.61
Shipping:
US$ 19.73
From United Kingdom to U.S.A.
Quantity: 4 available
Seller Image
Logic and Language Models for Computer Science
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # 44947231-n
Buy New
US$ 142.78
Shipping:
US$ 19.73
From United Kingdom to U.S.A.
Quantity: 4 available