Duane bibby (28 Ergebnisse)

Hardcover. Zustand: Good. No Jacket. Pages can have notes/highlighting. Spine may show signs of wear. ~ ThriftBooks: Read More, Spend Less. Duane Bibby (illustrator).

Zustand: Very Good. Former library copy. Pages intact with possible writing/highlighting. Binding strong with minor wear. Dust jackets/supplements may not be included. Includes library markings. Stock photo provided. Product includes identifying sticker. Better World Books: Buy Books. Do Good. Duane Bibby (illustrator).…

Zustand: Good. Pages intact with minimal writing/highlighting. The binding may be loose and creased. Dust jackets/supplements are not included. Stock photo provided. Product includes identifying sticker. Better World Books: Buy Books. Do Good. Duane Bibby (illustrator).

Zustand: Good. Good condition. A copy that has been read but remains intact. May contain markings such as bookplates, stamps, limited notes and highlighting, or a few light stains. Duane Bibby (illustrator).

Zustand: Very Good. Item in very good condition! Textbooks may not include supplemental items i.e. CDs, access codes etc. Bibby, Duane (illustrator).

Paperback. Zustand: Very Good. Pap. Minor shelf wear. Else a bright, clean copy. An introduction to dependent types, demonstrating the most beautiful aspects, one step at a time. A program's type describes its behavior. Dependent types are a first-class part of a language, and are much more powerful than other kinds of types; using just one language for types and programs allows program descriptions to be as powerful as the programs they describe. The Little Typer explains dependent types, beginning with a very small language that looks very much like Scheme and extending it to cover both programming with dependent types and using dependent types for mathematical reasoning. Readers should be familiar with the basics of a Lisp-like programming language, as presented in the first four chapters of The Little Schemer. The first five chapters of The Little Typer provide the needed tools to understand dependent types; the remaining chapters use these tools to build a bridge between mathematics and programming. Readers will learn that tools they know from programming-pairs, lists, functions, and recursion-can also capture patterns of reasoning. The Little Typer does not attempt to teach either practical programming skills or a fully rigorous approach to types. Instead, it demonstrates the most beautiful aspects as simply as possible, one step at a time. . Bibby, Duane (illustrator).…

Ring Binder with Soft Covers. Zustand: Fine. No marks or inscriptions. No creasing to covers. A very clean copy with bright unmarked boards and no bumping to corners. Ring binding in excellent condition. 242pp. Document preparation using the LATEX software. We do not use stock photos, the picture displayed is of the actual book for sale. Every one of our books is in stock in the UK ready for immediate delivery. Size: 9.25 x 8 inches. Duane Bibby (illustrator).…

Paperback. Zustand: Very Good. Illustrated. It's a well-cared-for item that has seen limited use. The item may show minor signs of wear. All the text is legible, with all pages included. It may have slight markings and/or highlighting. Bibby, Duane (illustrator).

Zustand: Very Good. Item in very good condition! Textbooks may not include supplemental items i.e. CDs, access codes etc. Bibby, Duane (illustrator).

Zustand: New. In English. Bibby, Duane (illustrator).

Paperback. Zustand: Brand New. illustrated edition. 176 pages. 9.25x7.00x0.50 inches. In Stock. Duane Bibby (illustrator).

Zustand: New. Brand New. Soft Cover International Edition. Different ISBN and Cover Image. Priced lower than the standard editions which is usually intended to make them more affordable for students abroad. The core content of the book is generally the same as the standard edition. The country selling restrictions may be printed on the book but is no problem for the self-use. This Item maybe shipped from US or any other country as we have multiple locations worldwide. Bibby, Duane (illustrator).…

PAP. Zustand: New. New Book. Shipped from UK. Established seller since 2000. Bibby, Duane (illustrator).

Paperback Jul 01, 2005. Zustand: gebraucht; sehr gut. Minimale Lagerspuren, textsauber und gepflegt. Duane Bibby (illustrator).

PAP. Zustand: New. New Book. Shipped from UK. Established seller since 2000. Bibby, Duane (illustrator).

Paperback. Zustand: Brand New. 403 pages. 9.00x7.00x1.00 inches. In Stock. Bibby, Duane (illustrator).

Zustand: New. pp. 424. Bibby, Duane (illustrator).

Zustand: New. 2018. Illustrated. paperback. . . . . . Books ship from the US and Ireland. Bibby, Duane R. (illustrator).

Buch. Zustand: Neu. Neuware - The typesetting system TeX, invented by Donald Knuth, is thirty-two years old in 2010. For this anniversary, a commemorative book has been prepared containing example papers by Knuth and the Stanford graduate students who helped develop TeX. These papers all were selected from the TeX Users Group's TUGboat journal archive. Bibby, Duane (illustrator).…

Paperback. Zustand: Brand New. 2nd sub edition. 272 pages. 9.25x7.75x0.50 inches. In Stock.

Zustand: New. Bibby, Duane (illustrator).

Zustand: New. 2018. Paperback. . . . . . Books ship from the US and Ireland. Bibby, Duane (illustrator).

Paperback. Zustand: Brand New. 1st edition. 229 pages. 9.25x7.00x0.50 inches. In Stock. Bibby, Duane (illustrator).

Paperback. Zustand: Brand New. 2nd edition. 208 pages. 8.75x7.00x0.50 inches. In Stock. Bibby, Duane (illustrator).

Zustand: New. 2018. second edition. Paperback. . . . . . Books ship from the US and Ireland. Bibby, Duane (illustrator).

Paperback. Zustand: Brand New. 210 pages. 9.00x7.25x0.50 inches. In Stock.

Zustand: Sehr gut. Zustand: Sehr gut | Sprache: Englisch | Produktart: Bücher | Keine Beschreibung verfügbar. Duane Bibby (illustrator).

Zustand: gut. 2015. The Little Prover In englischer Sprache. pages. Bibby, Duane (illustrator).