Software Abstractions: Logic, Language, and Analysis
I will be using this book for:
Log in to remove ads

Software Abstractions: Logic, Language, and Analysis

by Daniel Jackson

Computer Science Software Engineering
1 Star 2 Star 3 Star 4 Star 5 Star
0.0 out of 5 stars (0 ratings)
View on Amazon View on BAM Trade it in for cash!

A foundational guide to software design using logic, language, and analysis for building reliable systems.

ISBN-13 9780262017152 ASIN 0262017156 Views 80 Publisher Mit Pr Year 2012 Edition Revised Format Hardcover Product Group Book Pages 354 Created February 20, 2026 Updated September 24, 2026
About This Book

Software Abstractions: Logic, Language, and Analysis presents core principles for understanding software design.

The book examines how logic and language shape the development of reliable systems.

Readers gain insight into analytical methods that support effective abstraction in software.

Reviews

No reviews yet. Be the first to review this book!

Write a Review
I will be using this book for: