Introduction to Computation: Haskell, Logic and Automata (Record no. 44988)

MARC details
000 -LEADER
fixed length control field 00707 a2200217 4500
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number 9783030769079
082 ## - DEWEY DECIMAL CLASSIFICATION NUMBER
Classification number 511.35 SAN
100 ## - MAIN ENTRY--PERSONAL NAME
Personal name Sannella, Donald
245 ## - TITLE STATEMENT
Title Introduction to Computation: Haskell, Logic and Automata
260 ## - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT)
Name of publisher, distributor, etc Springer
Place of publication, distribution, etc Switzerland
Date of publication, distribution, etc 2021
300 ## - PHYSICAL DESCRIPTION
Extent 366
520 ## - SUMMARY, ETC.
Summary, etc Introduces computation, spanning the key concepts and methods<br/><br/>Highly intuitive and accessible explanatory style<br/><br/>Firm grounding in logic and automata, with an approach using Haskell
650 ## - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Computation
650 ## - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Haskell
650 ## - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Recursion
650 ## - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Karnaugh Maps
700 ## - ADDED ENTRY--PERSONAL NAME
Personal name Michael Fourman
700 ## - ADDED ENTRY--PERSONAL NAME
Personal name Haoran Peng
700 ## - ADDED ENTRY--PERSONAL NAME
Personal name Philip Wadler
942 ## - ADDED ENTRY ELEMENTS (KOHA)
Koha item type Book
Source of classification or shelving scheme Dewey Decimal Classification

No items available.