Roll over image to zoom in

The Little Typer (The Mit Press)

Name: The Little Typer (The Mit Press)
Brand: MIT Press
SKU: 00000_00000_00000_00000
Price: 117.50 AUD
Availability: OutOfStock

117.50 AUD

Member Price

105.75

English

Quantity:

Product Description

An introduction to dependent types, demonstrating the most beautiful aspects, one step at a time.

... Read Full Text

Publisher

MIT Press

Publication Date

Sep 2018

ISBN

9780262536431

Pages

23 illus./424 p.

Item Type

Book

Format

Paperback

This product is currently out of stock. Please check back later.