COMPUTERS / Programming Languages / General
Showing results 1-10 of 93
Filter Results OPEN +
Program Proofs
ISBN: 9780262546232
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
An introduction to a popular programming language for neuroscience research, taking the reader from beginning to intermediate and advanced levels of MATLAB programming.