An Introduction to Discrete Mathematics, Formal System Specification, and Z
Select Format
Select Condition 
Book Overview
Formal specification is the name given to the use of discrete mathematics in computer science for describing the function of both hardware and software systems. Poor specification often gives rise to severe problems in software and hardware installation. This textbook is an introduction to both the theory and practice of formal specification, and this new edition includes two new chapters on Z, one giving a number of small examples in Z, the other...
Format:Paperback
Language:English
ISBN:0198538367
ISBN13:9780198538363
Release Date:March 1993
Publisher:OUP Oxford
Length:296 Pages
Weight:1.10 lbs.
Dimensions:0.8" x 6.2" x 9.2"
Customer Reviews
1 rating
very clear exposition
Published by Thriftbooks.com User , 20 years ago
This book is a very clear exposition on how tu use formal techniques like Z. It is both rigorous and clear. First the mathematical theory is introduced in a rigorous way and then it is explained how these techniques are applied in specifying formal models. The examples are also very good : small and clear, but containing enough information to learn the stuff..
Copyright © 2024 Thriftbooks.com Terms of Use | Privacy Policy | Do Not Sell/Share My Personal Information | Cookie Policy | Cookie Preferences | Accessibility Statement
ThriftBooks® and the ThriftBooks® logo are registered trademarks of Thrift Books Global, LLC
ThriftBooks® and the ThriftBooks® logo are registered trademarks of Thrift Books Global, LLC
