Recently Viewed

New

Logic And Language Models For Computer Science (Third Edition) by Dana Richards 9789813230507

No reviews yet Write a Review
RRP: £51.00
Booksplease Price: £43.39
Booksplease saves you 15%

  Bookmarks: Included free with every order
  Delivery: We ship to over 200 countries from the UK
  Range: Millions of books available
  Reviews: Booksplease rated "Excellent" on Trustpilot

  FREE UK DELIVERY: When You Buy 3 or More Books - Use code: FREEUKDELIVERY in your cart!

SKU:
9789813230507
MPN:
9789813230507
Available from Booksplease!
Global delivery available
Global delivery available
Global delivery available
Global delivery available
Global delivery available
Availability: Usually dispatched within 12 working days

Frequently Bought Together:

Total: Inc. VAT
Total: Ex. VAT

Description

This text presents the formal concepts underlying Computer Science.It starts with a wide introduction to Logic with an emphasis on reasoning and proof, with chapters on Program Verification and Prolog.The treatment of computability with Automata and Formal Languages stands out in several ways:The style is appropriate for both undergraduate and graduate classes.

Book Information
ISBN 9789813230507
Author Dana Richards
Format Paperback
Page Count 468
Imprint World Scientific Publishing Co Pte Ltd
Publisher World Scientific Publishing Co Pte Ltd

Reviews

No reviews yet Write a Review

Booksplease  Reviews