Articles liés à Logic for Computer Science
Présentation de l'éditeur
An understanding of logic is essential to computer science. This book provides a highly accessible account of the logical basis required for reasoning about computer programs and applying logic in fields like artificial intelligence. The text contains extended examples, algorithms, and programs written in Standard ML and Prolog. No prior knowledge of either language is required.
The book contains a clear account of classical first-order logic, one of the basic tools for program verification, as well as an introductory survey of modal and temporal logics and possible world semantics. An introduction to intuitionistic logic as a basis for an important style of program specification is also featured in the book.
Les informations fournies dans la section « A propos du livre » peuvent faire référence à une autre édition de ce titre.
- ÉditeurPearson Education Limited
- Date d'édition1990
- ISBN 10 0201416433
- ISBN 13 9780201416435
- ReliureBroché
- Langueanglais
- Numéro d'édition1
- Nombre de pages368
Acheter neuf
Afficher cet article
EUR 58,05
EUR 3,80 expédition vers Etats-Unis
Destinations, frais et délaisRésultats de recherche pour Logic for Computer Science
Image d'archives
Logic for Computer Science (International Computer Science Series)
Edité par
Addison-Wesley (edition ), 1990
ISBN 10 : 0201416433
ISBN 13 : 9780201416435
Ancien ou d'occasion
Paperback
Vendeur : BooksRun, Philadelphia, PA, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Paperback. Etat : Good. Ship within 24hrs. Satisfaction 100% guaranteed. APO/FPO addresses supported. N° de réf. du vendeur 0201416433-11-1
Quantité disponible : 1 disponible(s)
Image d'archives
Logic for Computer Science
Edité par
Addison Wesley Publishing Company, 1990
ISBN 10 : 0201416433
ISBN 13 : 9780201416435
Ancien ou d'occasion
Paperback
Vendeur : ThriftBooks-Atlanta, AUSTELL, GA, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Paperback. Etat : Good. No Jacket. Pages can have notes/highlighting. Spine may show signs of wear. ~ ThriftBooks: Read More, Spend Less 1. N° de réf. du vendeur G0201416433I3N00
Quantité disponible : 1 disponible(s)
Image d'archives
Logic for Computer Science
Edité par
Addison Wesley Publishing Company, 1990
ISBN 10 : 0201416433
ISBN 13 : 9780201416435
Ancien ou d'occasion
Paperback
Vendeur : ThriftBooks-Dallas, Dallas, TX, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Paperback. Etat : Good. No Jacket. Pages can have notes/highlighting. Spine may show signs of wear. ~ ThriftBooks: Read More, Spend Less 1. N° de réf. du vendeur G0201416433I3N00
Quantité disponible : 1 disponible(s)
Image fournie par le vendeur
Logic for Computer Science (International Computer Science Series)
Edité par
Addison Wesley, 1990
ISBN 10 : 0201416433
ISBN 13 : 9780201416435
Ancien ou d'occasion
Couverture souple
Vendeur : WeBuyBooks, Rossendale, LANCS, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Etat : Good. Most items will be dispatched the same or the next working day. A copy that has been read but remains in clean condition. All of the pages are intact and the cover is intact and the spine may show signs of wear. The book may have minor markings which are not specifically mentioned. N° de réf. du vendeur wbs5361144348
Quantité disponible : 1 disponible(s)
Image d'archives
Logic for Computer Science
Edité par
Addison Wesley, 1990
ISBN 10 : 0201416433
ISBN 13 : 9780201416435
Ancien ou d'occasion
Softcover
Vendeur : Ammareal, Morangis, France
Évaluation du vendeur 5 sur 5 étoiles
Softcover. Etat : Très bon. Ancien livre de bibliothèque. Edition 1990. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Very good. Former library book. Edition 1990. Ammareal gives back up to 15% of this item's net price to charity organizations. N° de réf. du vendeur E-576-034
Quantité disponible : 1 disponible(s)
Image d'archives
Logic for Computer Science
Edité par
Addison Wesley, 1990
ISBN 10 : 0201416433
ISBN 13 : 9780201416435
Ancien ou d'occasion
Softcover
Vendeur : Ammareal, Morangis, France
Évaluation du vendeur 5 sur 5 étoiles
Softcover. Etat : Très bon. Ancien livre de bibliothèque. Edition 1990. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Very good. Former library book. Edition 1990. Ammareal gives back up to 15% of this item's net price to charity organizations. N° de réf. du vendeur E-731-918
Quantité disponible : 1 disponible(s)
Image d'archives
Logic for Computer Science (International Computer Science Series)
Vendeur : Toscana Books, AUSTIN, TX, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Paperback. Etat : new. Excellent Condition.Excels in customer satisfaction, prompt replies, and quality checks. N° de réf. du vendeur Scanned0201416433
Quantité disponible : 1 disponible(s)
Image d'archives
Logic for Computer Science (International Computer Science Series)
Edité par
Addison-Wesley, 1900
ISBN 10 : 0201416433
ISBN 13 : 9780201416435
Ancien ou d'occasion
paperback
Vendeur : dsmbooks, Liverpool, Royaume-Uni
Évaluation du vendeur 4 sur 5 étoiles
paperback. Etat : Good. Good. book. N° de réf. du vendeur D8S0-3-M-0201416433-6
Quantité disponible : 1 disponible(s)