Computers / Languages / General
Showing results 1-10 of 93
Filter Results OPEN +
Program Proofs
ISBN: 9780262546232
Publisher: The MIT Press
Pub Date: March 7, 2023
This comprehensive and highly readable textbook teaches students how to formally reason about computer programs using an incremental approach and the verification-aware programming language Dafny.
Essentials of Compilation
An Incremental Approach in Racket
ISBN: 9780262047760
Publisher: The MIT Press
Pub Date: February 21, 2023
A hands-on approach to understanding and building compilers.
An Experiential Introduction to Principles of Programming Languages
An Experiential Introduction to Principles of Programming Languages
ISBN: 9780262045452
Publisher: The MIT Press
Pub Date: May 3, 2022
A textbook that uses a hands-on approach to teach principles of programming languages, with Java as the implementation language.
Structure and Interpretation of Computer Programs
Structure and Interpretation of Computer Programs
JavaScript Edition
ISBN: 9780262543231
Publisher: The MIT Press
Pub Date: April 12, 2022
A new version of the classic and widely used text adapted for the JavaScript programming language.
Principles of Abstract Interpretation
Principles of Abstract Interpretation
ISBN: 9780262044905
Publisher: The MIT Press
Pub Date: September 21, 2021
Introduction to abstract interpretation, with examples of applications to the semantics, specification, verification, and static analysis of computer programs.
Introduction to Computation and Programming Using Python, third edition
Introduction to Computation and Programming Using Python
With Application to Computational Modeling and Understanding Data
ISBN: 9780262542364
Publisher: The MIT Press
Pub Date: January 5, 2021
The new edition of an introduction to the art of computational problem solving using Python.
Circuit Design with VHDL, third edition
Circuit Design with VHDL
ISBN: 9780262042642
Publisher: The MIT Press
Pub Date: April 14, 2020
A completely updated and expanded comprehensive treatment of VHDL and its applications to the design and simulation of real, industry-standard circuits.
The Reasoned Schemer, second edition
The Reasoned Schemer
ISBN: 9780262535519
Publisher: The MIT Press
Pub Date: March 9, 2018
A new edition of a book, written in a humorous question-and-answer style, that shows how to implement and use an elegant little programming language for logic programming.
Thinking as Computation
A First Course
ISBN: 9780262534741
Publisher: The MIT Press
Pub Date: August 11, 2017
Students explore the idea that thinking is a form of computation by learning to write simple computer programs for tasks that require thought.
MATLAB for Brain and Cognitive Scientists
MATLAB for Brain and Cognitive Scientists
ISBN: 9780262035828
Publisher: The MIT Press
Pub Date: May 12, 2017
An introduction to a popular programming language for neuroscience research, taking the reader from beginning to intermediate and advanced levels of MATLAB programming.

Program Proofs
ISBN: 9780262546232
Publisher: The MIT Press
Pub Date: March 7, 2023
Essentials of Compilation
An Incremental Approach in Racket
ISBN: 9780262047760
Publisher: The MIT Press
Pub Date: February 21, 2023
An Experiential Introduction to Principles of Programming Languages
An Experiential Introduction to Principles of Programming Languages
ISBN: 9780262045452
Publisher: The MIT Press
Pub Date: May 3, 2022
Structure and Interpretation of Computer Programs
Structure and Interpretation of Computer Programs
JavaScript Edition
ISBN: 9780262543231
Publisher: The MIT Press
Pub Date: April 12, 2022
Principles of Abstract Interpretation
Principles of Abstract Interpretation
ISBN: 9780262044905
Publisher: The MIT Press
Pub Date: September 21, 2021
Introduction to Computation and Programming Using Python, third edition
Introduction to Computation and Programming Using Python
With Application to Computational Modeling and Understanding Data
ISBN: 9780262542364
Publisher: The MIT Press
Pub Date: January 5, 2021
Circuit Design with VHDL, third edition
Circuit Design with VHDL
ISBN: 9780262042642
Publisher: The MIT Press
Pub Date: April 14, 2020
The Reasoned Schemer, second edition
The Reasoned Schemer
ISBN: 9780262535519
Publisher: The MIT Press
Pub Date: March 9, 2018
Thinking as Computation
A First Course
ISBN: 9780262534741
Publisher: The MIT Press
Pub Date: August 11, 2017
MATLAB for Brain and Cognitive Scientists
MATLAB for Brain and Cognitive Scientists
ISBN: 9780262035828
Publisher: The MIT Press
Pub Date: May 12, 2017