The Haskell road to logic, maths and programming

Main
Computers - Programming
The Haskell road to logic, maths and...

The Haskell road to logic, maths and programming

Kees Doets, J van Eijck

5.0 / 0

Bạn thích cuốn sách này tới mức nào?

Chất lượng của file scan thế nào?

Xin download sách để đánh giá chất lượng sách

Chất lượng của file tải xuống thế nào?

Thể loại:

Computers - Programming

Năm:

2004

Nhà xuát bản:

King's College Publications

Ngôn ngữ:

english

Trang:

449

ISBN 10:

0954300696

ISBN 13:

9780954300692

Loạt:

Texts in computing, 4

File:

PDF, 1.21 MB

IPFS:

,

english, 2004

Tải vè (pdf, 1.21 MB)

Hoàn thành chuyển đổi thành trong

Chuyển đổi thành không thành công

Có thể bạn quan tâm

Kees Doets, van Jan Eijck — The Haskell Road to Logic, Maths and Programming

Doets K., van Eijck J., Mackie I. (Ed) — The Haskell Road to Logic, Maths and Programming (Texts in Computing Series, Vol.4)

Professor Paul Hudak, Paul Hudak — The Haskell School of Expression: Learning Functional Programming Through Multimedia

Kees Doets; Jan van Eijck — The Haskell Road to Logic, Maths and Programming

Kees Doets, Jan van Eijck — The Haskell Road To Logic Maths And Programming

Franco Vivaldi — Mathematical writing: An undergraduate course

Vivaldi F. — Mathematical writing. An undergraduate course

Divulgación — Lecturas matemáticas

Kees Doets, Jan van Eijck — The Haskell Road To Logic Maths And Programming

Kees Doets, Jan Van Eijck — The Haskell Road To Logic Maths And Programming

Kees Doets, Jan van Eijck — The Haskell Road To Logic Maths And Programming

Kees Doets, Jan Van Eijck — The Haskell Road To Logic Maths And Programming

Kees Doets, Jan Van Eijck — The Haskell Road To Logic Maths And Programming

Kees Doets, Jan Van Eijck — The Haskell Road To Logic Maths And Programming

Kees Doets; Jan van Eijck — The Haskell Road To Logic Maths And Programming

Kees Doets; Jan van Eijck — The Haskell Road To Logic Maths And Programming

Oscar Bandtlow — Mathematical Structures [Lecture notes]

Oscar Bandtlow — Mathematical Structures [Lecture notes]

Joseph E. Fields — A Gentle Introduction to the Art of Mathematics

Thomas VanDrunen — Discrete Mathematics and Functional Programming

Thompson S. — Haskell: the craft of functional programming

— Haskell, The Craft of Functional Programming

Joseph Fields — Gentle Introduction to the Art of Mathematics

Simon Thompson — Haskell: The Craft of Functional Programming (2nd Edition)

Thompson S. — Haskell: The craft of functional programming

Nicholas A. Loehr — An Introduction to Mathematical Proofs

Nancy Rodgers — Learning to Reason: An Introduction to Logic, Sets, and Relations

Peter J. Eccles — An Introduction to Mathematical Reasoning : Numbers, Sets and Functions

Peter J. Eccles — An Introduction to Mathematical Reasoning

Kees Doets, Jan van Eijck — The Haskell Road to Logic, Maths and Programming

Richard Hammack — Book of Proof

Richard Hammack — Book of Proof

Richard Hammack — Book of Proof (Edition 3.2)

Hammack R — Book of proof

Simon Thompson — Haskell:The Craft of Functional Programming 2nd Edition

Neil Falkner — The Fundamentals of Higher Mathematics

John O'Donnell, Cordelia Hall, Rex Page — Discrete Mathematics Using a Computer

Từ khóa thường sử dụng nhất