Title: Practical Foundations for Programming Languages / Edition 2, Author: Robert Harper

In Stock Online

Not in Stock at My Store

Title: Type Theory and Formal Proof: An Introduction, Author: Rob Nederpelt
Title: Circuit Design with VHDL, third edition / Edition 3, Author: Volnei A. Pedroni
Title: Building High Integrity Applications with SPARK, Author: John W. McCormick
Title: Purely Functional Data Structures, Author: Chris Okasaki

In Stock Online

Not in Stock at My Store

Title: Pearls of Functional Algorithm Design, Author: Richard Bird

In Stock Online

Not in Stock at My Store

Title: The SuperCollider Book, Author: Scott Wilson
Title: Foundations of Software Engineering / Edition 1, Author: Ashfaque Ahmed
Title: Introduction to the Art of Programming Using Scala / Edition 1, Author: Mark C. Lewis
Title: Systematic Program Design: From Clarity to Efficiency, Author: Yanhong Annie Liu

In Stock Online

Not in Stock at My Store

Title: How to Reduce the Cost of Software Testing / Edition 1, Author: Matthew Heusser
Title: Categories and Computer Science, Author: R. F. C. Walters
Title: Processing: An Introduction to Programming / Edition 1, Author: Jeffrey L. Nyhoff
Title: R for Statistics / Edition 1, Author: Pierre-Andre Cornillon
Title: Guide to Fortran 2008 Programming / Edition 2, Author: Walter S. Brainerd

In Stock Online

Not in Stock at My Store

Title: Modern Compiler Design / Edition 2, Author: Dick Grune
Title: Certifiable Software Applications 3: Downward Cycle, Author: Jean-Louis Boulanger

In Stock Online

Not in Stock at My Store

Title: Temporal Logics in Computer Science: Finite-State Systems, Author: Stéphane Demri
Title: Agile Model-Based Development Using UML-RSDS / Edition 1, Author: Kevin Lano

In Stock Online

Not in Stock at My Store

Title: Introduction to Programming in Python: An Interdisciplinary Approach / Edition 1, Author: Robert Sedgewick

Pagination Links