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.
Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.
Autres éditions populaires du même titre
Résultats de recherche pour Logic And Language Models For Computer Science (fourth...
Image d'archives
Logic And Language Models For Computer Science (fourth Edition)
Vendeur : Textbooks_Source, Columbia, MO, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
hardcover. Etat : New. 4th Edition. Ships in a BOX from Central Missouri! UPS shipping for most packages, (Priority Mail for AK/HI/APO/PO Boxes). N° de réf. du vendeur 009470886N
Acheter neuf
EUR 73,23
Expédition à EUR 3,39
Expédition nationale : Etats-Unis
Expédition nationale : Etats-Unis
Quantité disponible : 6 disponible(s)
Image fournie par le vendeur
Logic and Language Models for Computer Science
Edité par
WSPC, 2023
ISBN 10 : 9811260664
ISBN 13 : 9789811260667
Ancien ou d'occasion
Couverture rigide
Vendeur : GreatBookPrices, Columbia, MD, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : good. May show signs of wear, highlighting, writing, and previous use. This item may be a former library book with typical markings. No guarantee on products that contain supplements Your satisfaction is 100% guaranteed. Twenty-five year bookseller with shipments to over fifty million happy customers. N° de réf. du vendeur 44947231-5
Acheter D'occasion
EUR 75,98
Expédition à EUR 2,24
Expédition nationale : Etats-Unis
Expédition nationale : Etats-Unis
Quantité disponible : 1 disponible(s)
Image fournie par le vendeur
Logic and Language Models for Computer Science
Edité par
WSPC, 2023
ISBN 10 : 9811260664
ISBN 13 : 9789811260667
Ancien ou d'occasion
Couverture rigide
Vendeur : GreatBookPricesUK, Woodford Green, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Etat : good. May show signs of wear, highlighting, writing, and previous use. This item may be a former library book with typical markings. No guarantee on products that contain supplements Your satisfaction is 100% guaranteed. Twenty-five year bookseller with shipments to over fifty million happy customers. N° de réf. du vendeur 44947231-5
Acheter D'occasion
EUR 83,36
Expédition à EUR 17,32
Expédition depuis Royaume-Uni vers Etats-Unis
Expédition depuis Royaume-Uni vers Etats-Unis
Quantité disponible : 1 disponible(s)
Image fournie par le vendeur
Logic and Language Models for Computer Science
Edité par
WSPC, 2023
ISBN 10 : 9811260664
ISBN 13 : 9789811260667
Ancien ou d'occasion
Couverture rigide
Vendeur : GreatBookPrices, Columbia, MD, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : As New. Unread book in perfect condition. N° de réf. du vendeur 44947231
Acheter D'occasion
EUR 110,67
Expédition à EUR 2,24
Expédition nationale : Etats-Unis
Expédition nationale : Etats-Unis
Quantité disponible : 4 disponible(s)
Image fournie par le vendeur
Logic and Language Models for Computer Science
Vendeur : GreatBookPrices, Columbia, MD, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. N° de réf. du vendeur 44947231-n
Acheter neuf
EUR 125,79
Expédition à EUR 2,24
Expédition nationale : Etats-Unis
Expédition nationale : Etats-Unis
Quantité disponible : 4 disponible(s)
Image d'archives
Logic And Language Models For Computer Science (Fourth Edition) (Hardcover)
Edité par
World Scientific Publishing Co Pte Ltd, Singapore, 2023
ISBN 10 : 9811260664
ISBN 13 : 9789811260667
Neuf
Couverture rigide
Vendeur : Grand Eagle Retail, Bensenville, IL, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Hardcover. Etat : 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. N° de réf. du vendeur 9789811260667
Acheter neuf
EUR 128,10
Livraison gratuite
Expédition nationale : Etats-Unis
Expédition nationale : Etats-Unis
Quantité disponible : 1 disponible(s)
Image d'archives
Logic And Language Models For Computer Science (Fourth Edition)
Edité par
World Scientific Publishing Co Pte Ltd, 2023
ISBN 10 : 9811260664
ISBN 13 : 9789811260667
Neuf
Couverture rigide
Vendeur : PBShop.store US, Wood Dale, IL, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
HRD. Etat : New. New Book. Shipped from UK. Established seller since 2000. N° de réf. du vendeur CX-9789811260667
Acheter neuf
EUR 130,23
Livraison gratuite
Expédition nationale : Etats-Unis
Expédition nationale : Etats-Unis
Quantité disponible : 15 disponible(s)
Image d'archives
Logic And Language Models For Computer Science (Fourth Edition)
Edité par
World Scientific Publishing Co Pte Ltd, 2023
ISBN 10 : 9811260664
ISBN 13 : 9789811260667
Neuf
Couverture rigide
Vendeur : PBShop.store UK, Fairford, GLOS, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
HRD. Etat : New. New Book. Shipped from UK. Established seller since 2000. N° de réf. du vendeur CX-9789811260667
Acheter neuf
EUR 124,02
Expédition à EUR 6,78
Expédition depuis Royaume-Uni vers Etats-Unis
Expédition depuis Royaume-Uni vers Etats-Unis
Quantité disponible : 15 disponible(s)
Image fournie par le vendeur
Logic and Language Models for Computer Science
Edité par
WSPC, 2023
ISBN 10 : 9811260664
ISBN 13 : 9789811260667
Ancien ou d'occasion
Couverture rigide
Vendeur : GreatBookPricesUK, Woodford Green, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Etat : As New. Unread book in perfect condition. N° de réf. du vendeur 44947231
Acheter D'occasion
EUR 118,79
Expédition à EUR 17,32
Expédition depuis Royaume-Uni vers Etats-Unis
Expédition depuis Royaume-Uni vers Etats-Unis
Quantité disponible : 4 disponible(s)
Image fournie par le vendeur
Logic and Language Models for Computer Science
Vendeur : GreatBookPricesUK, Woodford Green, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. N° de réf. du vendeur 44947231-n
Acheter neuf
EUR 124,01
Expédition à EUR 17,32
Expédition depuis Royaume-Uni vers Etats-Unis
Expédition depuis Royaume-Uni vers Etats-Unis
Quantité disponible : 4 disponible(s)