MIT Press Types and Programming Language

A foundational text that unifies type theory and programming language design, presenting formal systems, proofs, and practical applications in a clear ...
Where to buy (1) Characteristics
Sponsored
MIT Press Types and Programming Language
Textbooks.com
92.04 USD
Price updated on: 02-12-2024 22:23:24
View product deal

General

Brand
Brand: MIT Press
ISBN
Brand: MIT Press 0262162091

Characteristics

Similar products

Logitech G203 LIGHTSYNC Gaming Mouse with Customizable RGB Lighting, Lightweight
Logitech G203 LIGHTSYNC Gaming Mouse with Customizable RGB Lighting, Lightweight
From30.99 GBP 2
View Product
The Mayo Clinic Diabetes Diet, Third Edition : A Weight-Loss Program Designed to Improve Your Type 2 Diabetes
The Mayo Clinic Diabetes Diet, Third Edition : A Weight-Loss Program Designed to Improve Your Type 2 Diabetes
From35.99 GBP 1
View Product
Vitalsource Technologies, Inc. Type Systems For Distributed Programs: Components And Sessions
Vitalsource Technologies, Inc. Type Systems For Distributed Programs: Components And Sessions
From99.00 USD 1
View Product
Vitalsource Technologies, Inc. Types For Proofs And Programs
Vitalsource Technologies, Inc. Types For Proofs And Programs
From54.99 USD 1
View Product
The Mayo Clinic Diabetes Diet, Third Edition : A Weight-Loss Program Designed to Improve Your Type 2 Diabetes
The Mayo Clinic Diabetes Diet, Third Edition : A Weight-Loss Program Designed to Improve Your Type 2 Diabetes
From29.99 USD 1
View Product
Logitech G203 LIGHTSYNC Gaming Mouse with Customizable RGB Lighting, Lightweight
Logitech G203 LIGHTSYNC Gaming Mouse with Customizable RGB Lighting, Lightweight
From1,579.00 INR 1
View Product
Menu