Computer programs--Verification Books

Structure and interpretation...

Abelson, Sussman
Buy from $31.01

Python Without Fear

Brian Overland
Buy from $4.98

Program Proofs

Kaleb Leino (Illustrator)
Buy from $28.43
eBook from $48.99

Expert Data Modeling with...

Soheil Bakhshi
Buy from $16.49
eBook from $55.99

SQL in a Nutshell: A Desktop...

Kevin E Kline
Buy from $29.20
eBook from $67.99

Data Wrangling with Python:...

Jacqueline Kazil, Katharine Jarmul
Buy from $4.98
eBook from $42.99

Windows 10 Simplified

Paul McFedries
Buy from $1.16

Microsoft Dynamics 365 for...

Renato Bellu
Buy from $1.32
eBook from $18.00

Hands-On Application...

Buy from $39.50
eBook from $28.99

Machine Learning Pocket...

Matt Harrison
Buy from $9.58
eBook from $25.99

Excel All-In-One for Dummies

Paul McFedries, Greg Harvey
Buy from $3.54
eBook from $27.00

Firefox for Dummies

Blake Ross
Buy from $2.49

Machine Learning with Python...

Kyle Gallatin, Chris Albon
Buy from $28.21
eBook from $67.99

Python Distilled

David Beazley
Buy from $19.59
eBook from $47.99

Python for Excel: A Modern...

Felix Zumstein
Buy from $16.25
eBook from $50.99

Visual C++ (R) .Net: Your...

Jeffrey Cogswell
Buy from $54.46

Practical C++ Design: From...

Adam B. Singer
Buy from $7.99
eBook from $10.50

Think DSP: Digital Signal...

Allen B Downey
Buy from $16.22
eBook from $25.99

Fluent React: Build Fast,...

Tejas Kumar
Buy from $41.86
eBook from $56.99

Microsoft Office 2010:...

Gary B Shelly, Misty E Vermaat
Buy from $2.60
eBook from $68.99

Generative AI in Action

Amit Bahree
Buy from $38.43

Powerful Python: Patterns and...

Aaron Maxwell
Buy from $30.17
eBook from $55.99

Beginning Programming with...

Barry A Burd
Buy from $1.59
eBook from $18.00

Java All-In-One for Dummies

Doug Lowe
Buy from $1.95
eBook from $27.00