Mobile and handheld device programming / Apps programming | Computer programming / software engineering | Computing and Information Technology | Advanced search | The Library Supply Company

| Login | Register

Filter Results

Large print only

Audiobooks only

Genre

Readership/Audience

Format

Publication Date

Publication Country

Availability

Subject

To view prices and purchase online, please login, or register for an account.

Mobile and handheld device programming / Apps programming

Certified Programming with Dependent Types: A Pragmatic Introduction to the Coq Proof Assistant

(Paperback)

By Adam Chlipala

Fundamental Proof Methods in Computer Science: A Computer-Based Approach

(Hardback)

By Konstantine Arkoudas

Scientific Programming and Computer Architecture

(Hardback)

By Divakar Viswanath

The Little Prover

(Paperback)

By Daniel P. Friedman

The Little Typer

(Paperback)

By Daniel P. Friedman