Software Abstractions: Logic, Language, and Analysis
Daniel Jackson’s Software Abstractions: Logic, Language, and Analysis explores the foundational relationship between software, formal reasoning, and the languages used to describe it. Centered on analysis and abstraction, the book offers a focused conceptual treatment for readers interested in computer science and software engineering.
About This Book
Software Abstractions: Logic, Language, and Analysis is a computer science book by Daniel Jackson.
The book focuses on the connections among logic, language, and analysis in the study of software.
Its subject is the use of foundational concepts to understand and reason about software systems.
This title is suited to readers seeking a conceptual perspective on software engineering and computer science.
Reviews
No reviews yet. Be the first to review this book!