Introduction to Computation: Haskell, Logic and Automata

By:

Sannella, Donald

By:

Publication details: Switzerland: Springer, 2021Description: 366ISBN:

9783030769079

Subject(s):

DDC classification:

511.35 SAN

Summary: Introduces computation, spanning the key concepts and methods Highly intuitive and accessible explanatory style Firm grounding in logic and automata, with an approach using Haskell

List(s) this item appears in: New Arrivals for the Month of August - 2023

Tags from this library: No tags from this library for this title. Log in to add tags.

Average rating: 0.0 (0 votes)

Holdings
Item type	Current library	Collection	Call number	Status	Date due	Barcode	Item holds
Book	Alliance College of Engineering and Design	Basic Science	511.35 SAN (Browse shelf(Opens below))	Available		E11759

Total holds: 0

Browsing Alliance College of Engineering and Design shelves, Collection: Basic Science Close shelf browser (Hides shelf browser)

Previous								Next
Previous	511.35 PAT Theory of Computation (With Formal Languages)	511.35 PAT Theory of Computation (With Formal Languages)	511.35 PAT Theory of Computation (With Formal Languages)	511.35 SAN Introduction to Computation: Haskell, Logic and Automata	511.35 SIP Introduction to Theory of Computation	511.35 SIP Theory of computation	511.35 SIP Introduction to the Theory of Computation	Next

Introduces computation, spanning the key concepts and methods

Highly intuitive and accessible explanatory style

Firm grounding in logic and automata, with an approach using Haskell

There are no comments on this title.

to post a comment.