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

The Little Prover

(Paperback)

By Daniel P. Friedman

The Little Typer

(Paperback)

By Daniel P. Friedman