Used Hardcover Computer programs--Verification Books

Data Structures and Algorithm...

Mark Allen Weiss
Buy from $8.72

Principles of Digital...

Kathleen M Austin, Lorraine N Bergkvist
Buy from $9.36

Crafting a Compiler with C

Charles Fischer, Richard LeBlanc
Buy from $11.19

Ampl: A Modeling Language for...

Robert Fourer, David M Gay
Buy from $15.72

Lifelong Kindergarten:...

Mitchel Resnick, Sir Ken Robinson, PhD (Foreword by)
Buy from $8.58
eBook from $14.99

Pawn's Play

Phil Lollar
Buy from $8.69
eBook from $14.99

Surviving an SAP Audit: A...

Steve Biskie
Buy from $26.21

Refactoring

Jay Fields, Shane Harvie
Buy from $33.44

Data Structures and...

Frank Carrano, Timothy Henry
Buy from $106.49
eBook from $64.99

Model Checking

Edmund M Clarke Jr, Orna Grumberg
Buy from $11.87

Introduction to Simulation...

C Dennis Pegden, Randall P Sadowski
Buy from $36.32

Real-Time C++: Efficient...

Christopher Kormanyos
Buy from $82.91
eBook from $16.50

Foundations and Applications...

Randall J Pruim
Buy from $57.41

Principles of Financial...

Michael Rees
Buy from $69.64
eBook from $88.00

The C++ Standard Library: A...

Nicolai Josuttis
Buy from $19.48
eBook from $75.99

C++ Templates: The Complete...

David Vandevoorde, Nicolai M. Josuttis
Buy from $8.50

An Introduction to...

Paul R Wellin, Richard J Gaylord
Buy from $13.26
eBook from $96.00

Essentials of Mathematica:...

Nino Boccara
Buy from $24.85
eBook from $16.50

Excel for Business Math:...

Ravi Behara
Buy from $28.23

Quantitative Finance with...

Chris Kelliher
Buy from $178.13
eBook from $82.50

The Analysis of Time Series:...

Chris Chatfield, Haipeng Xing
Buy from $226.13

Blackgaard Chronicles: Pawn's...

Phil Lollar
Buy from $9.49

Basics of Web Design: Html5 &...

Felke-Morris
Buy from $120.49
eBook from $64.99

Machine and Assembly Language...

Arthur Gill
Buy from $23.65

System Design with ADA

R J A Buhr
Buy from $55.63