/ Sök
Filter
Matthias felleisen
  • Pocket  (3)
  • E-bok  (6)
  • Häftad  (2)
  • Mit press  (3)
  • The mit press  (4)
  • No starch press  (1)
  • No starch press,us  (1)
  • Springer berlin heidelberg  (1)
  • Springer-verlag berlin and heidelberg gmbh co. k  (1)
  • The mit press  (2)
  • Programming and software engineering  (1)
  • The little prover  (1)

Sökt på: Böcker av Matthias Felleisen

Filter
Matthias felleisen
  • Pocket  (3)
  • E-bok  (6)
  • Häftad  (2)
  • Mit press  (3)
  • The mit press  (4)
  • No starch press  (1)
  • No starch press,us  (1)
  • Springer berlin heidelberg  (1)
  • Springer-verlag berlin and heidelberg gmbh co. k  (1)
  • The mit press  (2)
  • Programming and software engineering  (1)
  • The little prover  (1)

totalt 11 träffar

The Little Schemer

The Little Schemer

av Daniel P. Friedman , Matthias Felleisen
pocket, 1995, Engelska, ISBN 9780262560993

The notion that "thinking about computing is one of the most exciting things the human mind can do" sets both The Little Schemer (formerly known as The Little LISPer) and its new …

pocket
523 kr
The Little Prover

The Little Prover

av Daniel P. Friedman , Carl Eastlund , J Strother Moore m.fl.
pocket, 2015, Engelska, ISBN 9780262527958

An introduction to writing proofs about computer programs, written in an accessible question-and-answer style, complete with step-by-step examples and a simple proof assistant.The …

pocket
464 kr
Programming Languages and Systems

Programming Languages and Systems

E-bok, 2013, Engelska, ISBN 9783642370366

This book constitutes the refereed proceedings of the 22nd European Symposium on Programming, ESOP 2013, held as part of the European Joint Conferences on Theory and Practice of …

E-bok
Laddas ned direkt
784 kr
How to Design Programs

How to Design Programs

av Matthias Felleisen , Robert Bruce Findler , Matthew Flatt m.fl.
E-bok, 2018, Engelska, ISBN 9780262344128

A completely revised edition, offering new design recipes for interactive programs and support for images as plain values, testing, event-driven programming, and even distributed …

E-bok
Laddas ned direkt
799 kr
The Seasoned Schemer

The Seasoned Schemer

av Daniel P. Friedman , Matthias Felleisen , Guy Lewis Steele Jr.
pocket, 1995, Engelska, ISBN 9780262561006

The notion that "thinking about computing is one of the most exciting things the human mind can do" sets both The Little Schemer (formerly known as The Little LISPer) and its new …

pocket
583 kr
Little Prover

Little Prover

av Carl Eastlund , Daniel P. Friedman , Matthias Felleisen m.fl.
E-bok, 2015, Engelska, ISBN 9780262330565

An introduction to writing proofs about computer programs, written in an accessible question-and-answer style, complete with step-by-step examples and a simple proof assistant.The …

E-bok
Laddas ned direkt
1184 kr
Realm of Racket

Realm of Racket

av Matthias Felleisen , David Van Horn , Conrad Barski
E-bok, 2013, Engelska, ISBN 9781593274924

Racket is a descendant of Lisp, a programming language renowned for its elegance, power, and challenging learning curve. But while Racket retains the functional goodness of Lisp, …

E-bok
Laddas ned direkt
389 kr
Seasoned Schemer

Seasoned Schemer

av Daniel P. Friedman , Matthias Felleisen , Guy L. Steele Jr.
E-bok, 1995, Engelska, ISBN 9780262287883

The notion that "e;thinking about computing is one of the most exciting things the human mind can do"e; sets both The Little Schemer (formerly known as The Little LISPer) …

E-bok
Laddas ned direkt
1481 kr
Little Prover

Little Prover

av Daniel P. Friedman , Carl Eastlund , Matthias Felleisen m.fl.
E-bok, 2015, Engelska, ISBN 9780262330572

An introduction to writing proofs about computer programs, written in an accessible question-and-answer style, complete with step-by-step examples and a simple proof assistant.The …

E-bok
Laddas ned direkt
532 kr
Realm Of Racket

Realm Of Racket

av Matthias Felleisen
häftad, 2013, Engelska, ISBN 9781593274917

Racket is a descendant of Lisp, a programming language renowned for its elegance, power, and challenging learning curve. But while Racket retains the functional goodness of Lisp, …

häftad
Tillfälligt slut
468 kr
Bevaka Du bevakar denna Till bevakningar
Programming Languages and Systems

Programming Languages and Systems

häftad, 2013, Engelska, ISBN 9783642370359

This book constitutes the refereed proceedings of the 22nd European Symposium on Programming, ESOP 2013, held as part of the European Joint Conferences on Theory and Practice of …

häftad
662 kr
The Little Schemer
pocket
The Little Schemer
523 kr
The Little Prover
pocket
The Little Prover
464 kr
Programming Languages and Systems
E-bok
Programming Languages and Systems
784 kr
How to Design Programs
E-bok
How to Design Programs
799 kr
The Seasoned Schemer
pocket
The Seasoned Schemer
583 kr
Little Prover
E-bok
Little Prover
1184 kr
Realm of Racket
E-bok
Realm of Racket
389 kr
Seasoned Schemer
E-bok
Seasoned Schemer
1481 kr
Little Prover
E-bok
Little Prover
532 kr
Realm Of Racket
häftad
Realm Of Racket
468 kr
Bevaka Du bevakar denna Till bevakningar
Programming Languages and Systems
häftad
Programming Languages and Systems
662 kr