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
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: Best Price, Torrance, CA, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. SUPER FAST SHIPPING. Seller Inventory # 9789811260667
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
Stock Image
Logic And Language Models For Computer Science (Fourth Edition)
Published by
World Scientific Publishing Co Pte Ltd, 2023
ISBN 10: 9811260664
ISBN 13: 9789811260667
New
Hardcover
Seller: PBShop.store UK, Fairford, GLOS, United Kingdom
Seller rating 5 out of 5 stars
HRD. Condition: New. New Book. Shipped from UK. Established seller since 2000. Seller Inventory # CX-9789811260667
Buy New
US$ 141.29
Shipping:
US$ 7.72
From United Kingdom to U.S.A.
Quantity: 15 available
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.82
Shipping:
US$ 19.74
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$ 141.28
Shipping:
US$ 19.74
From United Kingdom to U.S.A.
Quantity: 4 available
Stock Image
Logic and Language Models for Computer Science
Published by
World Scientific Pub Co Inc, 2022
ISBN 10: 9811260664
ISBN 13: 9789811260667
New
Hardcover
Seller: Revaluation Books, Exeter, United Kingdom
Seller rating 5 out of 5 stars
Hardcover. Condition: Brand New. 4th edition. 400 pages. 9.00x6.00x1.31 inches. In Stock. This item is printed on demand. Seller Inventory # __9811260664
Buy New
US$ 148.51
Shipping:
US$ 16.45
From United Kingdom to U.S.A.
Quantity: 1 available
Stock Image
Logic And Language Models For Computer Science (fourth Edition)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. In. Seller Inventory # ria9789811260667_new
Buy New
US$ 154.69
Shipping:
US$ 15.76
From United Kingdom to U.S.A.
Quantity: 1 available
Seller Image
Logic and Language Models for Computer Science (Fourth Edition)
Print on DemandSeller: moluna, Greven, Germany
Seller rating 4 out of 5 stars
Condition: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Seller Inventory # 594276150
Buy New
US$ 145.23
Shipping:
US$ 56.66
From Germany to U.S.A.
Quantity: Over 20 available