Michael Fourman – författare
Visar alla böcker från författaren Michael Fourman. Handla med fri frakt och snabb leverans.
4 produkter
Introduction to Computation
Haskell, Logic and Automata
Av Donald Sannella, Michael Fourman m. fl.
Häftad, 2022
433 kr
Lägg i varukorg
Computation, itself a form of calculation, incorporates steps that include arithmetical and non-arithmetical (logical) steps following a specific set of rules (an algorithm). This uniquely accessible textbook introduces students using a very distinctive approach, quite rapidly leading them into …
Introduction to Computation
Haskell, Logic and Automata
Av Philip Wadler, Haoran Peng m. fl.
E-bok, 2022
542 kr
Lägg i varukorg
Computation, itself a form of calculation, incorporates steps that include arithmetical and non-arithmetical (logical) steps following a specific set of rules (an algorithm). This uniquely accessible textbook introduces students using a very distinctive approach, quite rapidly leading them into …
In Search of Elegance in the Theory and Practice of Computation
Essays dedicated to Peter Buneman
Av Val Tannen, Limsoon Wong m. fl.
Häftad, 2013
568 kr
Lägg i varukorg
This Festschrift volume, published in honour of Peter Buneman, contains contributions written by some of his colleagues, former students, and friends. In celebration of his distinguished career a colloquium was held in Edinburgh, Scotland, 27-29 October, 2013. The articles presented herein belong …
In Search of Elegance in the Theory and Practice of Computation
Essays dedicated to Peter Buneman
Av Michael Fourman, Wang-Chiew Tan m. fl.
E-bok, 2013
734 kr
Lägg i varukorg
This Festschrift volume, published in honour of Peter Buneman, contains contributions written by some of his colleagues, former students, and friends. In celebration of his distinguished career a colloquium was held in Edinburgh, Scotland, 27-29 October, 2013. The articles presented herein belong …
