Items related to Systems Construction and Analysis: A Mathematical and...
Systems Construction and Analysis: A Mathematical and Logical Framework (McGraw-Hill International Series in Software Engineering) - Softcover
Synopsis
This text provides the discrete mathematics needed as a rigorous foundation for the construction and analysis of application systems. Construction involves development within formal linguistic systems and analysis involves external assessment and measurement. The foundation provided by this book allows for many applications to be discussed in detail. A gentle introduction to discrete mathematics and formal systems allows a gradual pace of learning for the student and examines ideas before giving a serious exposition of mathematical logic that emphasizes the link between theories in formal languages and their models. The major programming paradigms are linked to approaches to specification and verified by the axiomatic method. This book is aimed at second and third year undergraduates, as well as MSc computing students.
"synopsis" may belong to another edition of this title.
Search results for Systems Construction and Analysis: A Mathematical and...
Seller Image
Systems Construction and Analysis: A Mathematical and Logical Framework (McGraw-Hill International Series in Software Engineering)
Seller: -OnTimeBooks-, Phoenix, AZ, U.S.A.
Seller rating 5 out of 5 stars
Condition: good. A copy that has been read, remains in good condition. All pages are intact, and the cover is intact. The spine and cover show signs of wear. Pages can include notes and highlighting and show signs of wear, and the copy can include "From the library of" labels or previous owner inscriptions. 100% GUARANTEE! Shipped with delivery confirmation, if you're not satisfied with purchase please return item! Ships via media mail. Seller Inventory # OTV.0077074319.G