1- 15 of 15 results
Grid View Grid
List View List
Grid View Grid
List View List
Title: Practical Foundations for Programming Languages / Edition 2, Author: Robert Harper
QUICK ADD
Practical Foundations for…
by Robert Harper
Hardcover $89.00
Title: Type Theory and Formal Proof: An Introduction, Author: Rob Nederpelt
QUICK ADD
Type Theory and Formal Proof:…
by Rob Nederpelt, Herman Geuvers
Hardcover $94.00
Title: Building High Integrity Applications with SPARK, Author: John W. McCormick
QUICK ADD
Building High Integrity…
by John W. McCormick, Peter C. Chapin
Hardcover $164.00
Title: Pearls of Functional Algorithm Design, Author: Richard Bird
QUICK ADD
Pearls of Functional Algorithm…
by Richard Bird
Hardcover $76.00
Title: Program Logics for Certified Compilers, Author: Andrew W. Appel
QUICK ADD
Program Logics for Certified…
by Andrew W. Appel, Robert Dockins, Aquinas Hobor, Lennart Beringer, Josiah Dodds
Hardcover $111.00
Title: Learning by Doing with National Instruments Development Boards / Edition 1, Author: Jivan Shrikrishna Parab
QUICK ADD
Learning by Doing with…
by Jivan Shrikrishna Parab, Ingrid Anne Nazareth, Rajendra S. Gad, Gourish Naik
Hardcover $97.99
Title: C: From Theory to Practice, Second Edition / Edition 2, Author: George S. Tselikis
QUICK ADD
C: From Theory to Practice,…
by George S. Tselikis, Nikolaos D. Tselikas
Hardcover $120.00
Title: Introduction to Programming in Python: An Interdisciplinary Approach / Edition 1, Author: Robert Sedgewick
QUICK ADD
Introduction to Programming in…
by Robert Sedgewick, Kevin Wayne, Robert Dondero
Hardcover $93.09
Title: Systematic Program Design: From Clarity to Efficiency, Author: Yanhong Annie Liu
QUICK ADD
Systematic Program Design:…
by Yanhong Annie Liu
Hardcover $105.00
Title: Software Configuration Management Handbook, Third Edition / Edition 3, Author: Alexis Leon
QUICK ADD
Software Configuration…
by Alexis Leon
Hardcover $119.00
Title: FreeDOS Kernel: An MS-DOS Emulator for Platform Independence & Embedded System Development / Edition 1, Author: Pat Villani
QUICK ADD
FreeDOS Kernel: An MS-DOS…
by Pat Villani
Hardcover $220.00
Title: Information Modeling the EXPRESS Way, Author: Douglas A. Schenck
QUICK ADD
Information Modeling the…
by Douglas A. Schenck, Peter R. Wilson
Hardcover $435.00
Title: Processing: An Introduction to Programming / Edition 1, Author: Jeffrey L. Nyhoff
QUICK ADD
Processing: An Introduction to…
by Jeffrey L. Nyhoff, Larry R. Nyhoff
Hardcover $180.00
Title: Introduction to the Art of Programming Using Scala / Edition 1, Author: Mark C. Lewis
QUICK ADD
Introduction to the Art of…
by Mark C. Lewis
Explore Series
Hardcover $230.00
Title: The Haskell School of Music: From Signals to Symphonies, Author: Paul Hudak
QUICK ADD
The Haskell School of Music:…
by Paul Hudak, Donya Quick
Hardcover $71.00